stephen-smith / idris-bi Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sbp/idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Home Page: https://github.com/idris-lang/Idris-dev/issues/3976