Contents
Index
data-nat-0.1.2: data Nat = Zero | Succ Nat
Index
diff
Data.Nat
foldNat
Data.Nat
infinity
Data.Nat
Nat
Data.Nat
nat
Data.Nat
Succ
Data.Nat
unfoldNat
Data.Nat
Zero
Data.Nat