Data.Nat

Natural, Nat numbers

data Nat

toNatural

fromNatural

cata

Showing

explicitShow

explicitShowsPrec

Aliases

nat0

nat1

nat2

nat3

nat4

nat5

nat6

nat7

nat8

nat9