diff options
| author | Alasdair Armstrong | 2019-02-25 14:53:57 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-25 14:53:57 +0000 |
| commit | 7fc5222ef8daa887eab8a7d178a459c0c84d45f6 (patch) | |
| tree | dabd9354b68f69a5ca0a23af817eb5edd67c33d2 /lib/main.ml | |
| parent | baed6162b5f823a44fd1045c18714d4973d151e9 (diff) | |
Fix some builtins, and make mod_int return natural
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions