]>
2016-11-24 | Julien Moutinho | Revamp the type system. | blob | commitdiff | raw |
2016-11-17 | Julien Moutinho | Repr_Dup helpers | blob | commitdiff | raw |
2016-11-16 | Julien Moutinho | Foldable, Num | blob | commitdiff | raw | diff to current |
2016-11-14 | Julien Moutinho | polish names | blob | commitdiff | raw | diff to current |
2016-11-14 | Julien Moutinho | Eq, Ord | blob | commitdiff | raw | diff to current |
2016-11-12 | Julien Moutinho | revamp Repr/* | blob | commitdiff | raw | diff to current |
2016-11-12 | Julien Moutinho | Integer, Integral, Num | blob | commitdiff | raw | diff to current |