Documentation
NZero :: N Zero | |
NSuccessorTo :: N n -> N (SuccessorTo n) |
class (NaturalNumber n, Induction n) => NaturalNumber n whereSource
unknownNToInt :: UnknownN -> IntSource
intToUnknownN :: Int -> UnknownNSource
intToN :: NaturalNumber n => Int -> N nSource