aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/uint31.mli
Commit message (Expand)AuthorAge
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Partial support for open terms in int31.Gravatar Maxime Dénès2014-04-09
* Int31 literals in native compiler.Gravatar Maxime Dénès2014-04-09
* Uint31 support.Gravatar Maxime Dénès2014-04-09