]>
2019-06-14 | Julien Moutinho | Move symantic-document to its own Git repository. | blob | commitdiff | raw |
2018-03-08 | Julien Moutinho | Sync symantic with symantic-document. | 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-23 | Julien Moutinho | Use symantic-document to write docType. | blob | commitdiff | raw | diff to current |
2017-06-22 | Julien Moutinho | Fix handling of Fixity in showType. | blob | commitdiff | raw | diff to current |
2017-06-22 | Julien Moutinho | Add Config_showType. | 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 |