sourcephile / git / haskell / symantic.git / history
| 2017-06-24 | Julien Moutinho | Remove Proxy in Sym instances. | blob | commitdiff | raw |
| 2017-06-22 | Julien Moutinho | Change Term to be a GADT, to avoid type applications... | blob | commitdiff | raw | diff to current |
| 2017-06-15 | Julien Moutinho | Improve the module system. | blob | commitdiff | raw | diff to current |
| 2017-06-12 | Julien Moutinho | Massive rewrite to better support rank-1 polymorphic... | blob | commitdiff | raw | diff to current |
| 2017-04-22 | Julien Moutinho | Try to implement polymorphic types. | blob | commitdiff | raw | diff to current |
| 2017-04-09 | Julien Moutinho | Add compileWithTyCtx. | blob | commitdiff | raw | diff to current |
| 2017-04-01 | Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... | 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-02-11 | Julien Moutinho | Split into symantic{,-grammar,-lib}. | blob | commitdiff | raw | diff to current |