aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/uint31.ml
Commit message (Collapse)AuthorAge
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
|
* Fix some typos in comments.Gravatar Guillaume Melquiond2014-10-27
|
* 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