Module

Type.Data.Peano

Package
purescript-typelevel-peano
Repository
csicar/purescript-typelevel-peano
Modules
Type.Data.Peano
Type.Data.Peano.Int
Type.Data.Peano.Int.Definition
Type.Data.Peano.Int.Parse
Type.Data.Peano.Int.TypeAliases
Type.Data.Peano.Nat
Type.Data.Peano.Nat.Definition
Type.Data.Peano.Nat.Parse
Type.Data.Peano.Nat.TypeAliases