diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-07 15:44:40 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 14:05:56 +0100 |
| commit | 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 (patch) | |
| tree | f06907f88972e8e87c5924de8eb225362a4a775b /UTF8.ml | |
| parent | 50c16c8fc79d349f9db9d7975d1ae4e57050b648 (diff) | |
Use Zarith instead of Num for computing numbers
Diffstat (limited to 'UTF8.ml')
0 files changed, 0 insertions, 0 deletions