| 2017-04-01 | Julien Moutinho | Add support for (>=>). | tree | commitdiff | 
| 2017-04-01 | Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... | tree | commitdiff | 
| 2017-03-31 | Julien Moutinho | Add withContext. | tree | commitdiff | 
| 2017-03-24 | Julien Moutinho | Rename grammar rules, prefixing them with g_. | tree | commitdiff | 
| 2017-03-23 | Julien Moutinho | Rename Term_Name -> TeName | tree | commitdiff | 
| 2017-03-14 | Julien Moutinho | Fix time&space explosion of GHC's typechecker. | tree | commitdiff | 
| 2017-03-13 | Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. | 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-10 | Julien Moutinho | Use AllowAmbiguousTypes to avoid using Proxy. | tree | commitdiff | 
| 2017-03-10 | Julien Moutinho | Cosmetic cleanup. | tree | commitdiff | 
| 2017-03-06 | Julien Moutinho | Gather type declarations and infix declarations. | 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 | 
|  |