]>
2017-06-21 | Julien Moutinho | Fix description. | blob | commitdiff | raw |
2017-06-18 | Julien Moutinho | Add some Eq and Show instances. | 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-05-11 | Julien Moutinho | Try the new Type and Term design against the actual... | blob | commitdiff | raw | diff to current |