]>
2017-04-01 | Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... | blob | commitdiff | raw |
2017-03-31 | Julien Moutinho | Add withContext. | blob | commitdiff | raw | diff to current |
2017-03-23 | Julien Moutinho | Rename Term_Name -> TeName | blob | commitdiff | raw | diff to current |
2017-03-14 | Julien Moutinho | Fix time&space explosion of GHC's typechecker. | blob | commitdiff | raw | diff to current |
2017-03-13 | Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. | blob | commitdiff | raw | diff to current |
2017-03-11 | Julien Moutinho | Fix comment typo. | blob | commitdiff | raw | diff to current |
2017-02-11 | Julien Moutinho | Split into symantic{,-grammar,-lib}. | blob | commitdiff | raw | diff to current |