]>
2017-03-10 | Julien Moutinho | Renaming Constants -> TyConsts. | tree | commitdiff |
2017-03-10 | Julien Moutinho | Cosmetic cleanup of GHC flags. | tree | commitdiff |
2017-03-10 | Julien Moutinho | Cosmetic cleanup. | tree | commitdiff |
2017-03-06 | Julien Moutinho | Reduce compile time of tests with -O0 -fmax-simplifier... | tree | commitdiff |
2017-02-11 | Julien Moutinho | Split into symantic{,-grammar,-lib}. | tree | commitdiff |