sbp/idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

Idris