sourcephile / git / haskell / symantic.git / history
| 2017-08-18 | Julien Moutinho | Add TyApp pattern synonyms (:$) and (:@). | blob | commitdiff | raw |
| 2017-08-15 | Julien Moutinho | Add term Function.($). | blob | commitdiff | raw | diff to current |
| 2017-07-02 | Julien Moutinho | Integrate types to the module system. | blob | commitdiff | raw | diff to current |
| 2017-06-27 | Julien Moutinho | Rename inj_* -> *Inj. | blob | commitdiff | raw | diff to current |
| 2017-06-24 | Julien Moutinho | Remove Proxy in Sym instances. | blob | commitdiff | raw | diff to current |
| 2017-06-22 | Julien Moutinho | Use AllowAmbiguousTypes to avoid Proxy uses. | blob | commitdiff | raw | diff to current |
| 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 |