diff options
| author | Gabriel Kerneis | 2014-04-01 14:22:31 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-01 14:22:31 +0100 |
| commit | dfe90bb7a44ff3a753d2bf31b1c510aeff824494 (patch) | |
| tree | ff50bdaf285ef2489c62afa769999cca02956a42 /src/main.ml | |
| parent | c8fbe777c32bfa6355349110e14f0244090421da (diff) | |
Allow negative "nat" internally
to_num and to_vec probably still need to be fixed
Diffstat (limited to 'src/main.ml')
0 files changed, 0 insertions, 0 deletions