idris-cil icon indicating copy to clipboard operation
idris-cil copied to clipboard

Published 20 hours ago • verified publisher icon bamboo

Integer support

Open bamboo opened this issue 9 years ago • 1 comments

System.Numerics.BigInteger is the obvious choice but we should also consider alternative solutions that would work on lesser frameworks such as Unity's.

bamboo avatar Sep 22 '15 22:09 bamboo

FSharp libraries/programs have an FSharp core dependency. I think a similar approach is reasonable for idris. Integer support could be implemented in that dependency. I'm not sure how easy it is to build things conditionally, but it might be possible to make the choice of System.Numerics.BigInteger vs ?? in that library.

dagit avatar Jan 31 '17 05:01 dagit