]>
2017-01-11 | Julien Moutinho | Add Parsing.Grammar. | blob | commitdiff | raw |
2017-01-05 | Julien Moutinho | Renaming textI_app* to textI*. | blob | commitdiff | raw | diff to current |
2017-01-04 | Julien Moutinho | Clarify names, and add commentaries. | blob | commitdiff | raw | diff to current |
2017-01-03 | Julien Moutinho | Add Compiling.Show. | blob | commitdiff | raw | diff to current |
2016-12-31 | Julien Moutinho | Add Parsing.Token. | blob | commitdiff | raw | diff to current |
2016-12-09 | Julien Moutinho | Add Typing.Family and Compiling.MonoFunctor. | blob | commitdiff | raw | diff to current |
2016-12-08 | Julien Moutinho | Add tests for Compiling. | blob | commitdiff | raw | diff to current |
2016-12-07 | Julien Moutinho | Fix lambda application. | blob | commitdiff | raw | diff to current |
2016-12-07 | Julien Moutinho | Use GHC-8.0.1's TypeInType to handle kinds better,... | blob | commitdiff | raw | diff to current |