Package Usage: hackage: type-level-natural-number-induction

2 versions
Latest release: almost 12 years ago
1,702 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/type-level-natural-number-induction

Dependent Repos 2

gcross/natural-number

Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.

• ==1.0.* natural-number.cabal

Size: 93.8 KB - Last synced: about 1 year ago - Pushed: almost 13 years ago

gcross/Blueprint

Experimental Haskell build system

• ==1.0.* Blueprint.cabal

Size: 707 KB - Last synced: 12 days ago - Pushed: about 11 years ago