]>
2017-04-19 | Julien Moutinho | Fix prefix/postfix operators wrt. term application. | blob | commitdiff | raw |
2017-03-24 | Julien Moutinho | Rename grammar rules, prefixing them with g_. | 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-10 | Julien Moutinho | Renaming Constants -> TyConsts. | blob | commitdiff | raw | diff to current |
2017-03-10 | Julien Moutinho | Cosmetic cleanup of GHC flags. | blob | commitdiff | raw | diff to current |
2017-03-10 | Julien Moutinho | Cosmetic cleanup. | blob | commitdiff | raw | diff to current |
2017-03-06 | Julien Moutinho | Reduce compile time of tests with -O0 -fmax-simplifier... | blob | commitdiff | raw | diff to current |
2017-02-11 | Julien Moutinho | Split into symantic{,-grammar,-lib}. | blob | commitdiff | raw | diff to current |