You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
System.Numerics.BigInteger is the obvious choice but we should also consider alternative solutions that would work on lesser frameworks such as Unity's.
The text was updated successfully, but these errors were encountered:
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.
System.Numerics.BigInteger
is the obvious choice but we should also consider alternative solutions that would work on lesser frameworks such as Unity's.The text was updated successfully, but these errors were encountered: