search

ocaml / Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Other
231 stars 70 forks source link

Typo in q.mli #127

Closed AshineFoster closed 1 year ago

AshineFoster commented 2 years ago

The are typos in the Q.leq and Q.geq functions. I think 'resturns' should be 'returns'.

antoinemine commented 2 years ago

Thanks for reporting this. This is not urgent, so we'll fix it when the next release comes. I'll keep the issue open until then.