search

sbp / idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
https://github.com/idris-lang/Idris-dev/issues/3976
36 stars 5 forks source link

rewrite case-using functions #10

Closed clayrat closed 7 years ago

clayrat commented 7 years ago

Fixes https://github.com/sbp/idris-bi/issues/6

sbp commented 7 years ago

Sorry about the wait. My next plans are to add the Q arithmetic and work on some documentation for integration into the Idris release, but I won't be able to start work on that until next week some time. I'll also try to do as much on the Bin and Biz proofs as I can!