Age | Commit message (Expand) | Author |
---|---|---|
2018-07-26 | Update compilation for windows | Sébastien Dailly |
2018-02-12 | Update licence, add opam script | Sébastien Dailly |
2017-01-01 | Use gadt for function catalog | Sébastien Dailly |
2016-11-15 | Initial commit | Sébastien Dailly |