Create integer exponentiation
mikesol opened this issue · comments
Will be super expensive computationally due to the Peano-like representation, but oh well!
Typelevel rationals in PureScript
mikesol opened this issue · comments
Will be super expensive computationally due to the Peano-like representation, but oh well!