2019-07-17 | Ralf Jung | link to paper that also mentions this (but does not... | blob | commitdiff | raw |
2019-05-16 | Ralf Jung | typo | blob | commitdiff | raw | diff to current |
2019-05-16 | Ralf Jung | expand prior work | blob | commitdiff | raw | diff to current |
2019-05-15 | Ralf Jung | typos | blob | commitdiff | raw | diff to current |
2019-05-15 | Ralf Jung | add forum link | blob | commitdiff | raw | diff to current |
2019-05-15 | Ralf Jung | publish typeclass post | blob | commitdiff | raw | diff to current |