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
I've made a draft PR (#1084) that fixes this issue. I've chosen to ignore issue #29, as it seems unrelated. Incidentally, I'm still working on fixing the latter issue, but this will take a bit more time.
I would like to write something like:
2^64
and get back18446744073709551616
like in haskellI know about the Nat version;
Nats have a power function defined under
Data.Nat
but this is slow forpower 2 64
@ohad mentioned I should link this issue to #29 as it might be easy to add this feature along with the Double constants.
The text was updated successfully, but these errors were encountered: