sourcephile / git / haskell / symantic.git / history
| 2017-05-01 | Julien Moutinho | Archive old attempt to remove proto tokens without... | blob | commitdiff | raw |
| 2017-04-22 | Julien Moutinho | Try to implement polymorphic types. | blob | commitdiff | raw | diff to current |
| 2017-04-19 | Julien Moutinho | Fix prefix/postfix operators wrt. term application. | blob | commitdiff | raw | diff to current |
| 2017-03-24 | Julien Moutinho | Rename grammar rules, prefixing them with g_. | blob | commitdiff | raw | diff to current |
| 2017-03-23 | Julien Moutinho | Rename Term_Name -> TeName | blob | commitdiff | raw | diff to current |
| 2017-03-23 | Julien Moutinho | Add IsString instances. | blob | commitdiff | raw | diff to current |
| 2017-03-10 | Julien Moutinho | Cosmetic cleanup. | blob | commitdiff | raw | diff to current |
| 2017-03-10 | Julien Moutinho | Backtrack (try) the grammar only when necessary to... | blob | commitdiff | raw | diff to current |
| 2017-02-11 | Julien Moutinho | Split into symantic{,-grammar,-lib}. | blob | commitdiff | raw | diff to current |