type-natural: Type-level natural and proofs of their properties.
Type-level natural numbers and proofs of their properties.
Version 0.6+ supports GHC 8+ only.
Use 0.5.* with ~ GHC 7.10.3.
Modules
- Data
- Type
- Data.Type.Natural
- Data.Type.Natural.Builtin
- Lemma
- Data.Type.Natural.Lemma.Arithmetic
- Data.Type.Natural.Lemma.Order
- Presburger
- Data.Type.Natural.Presburger.MinMaxSolver
- Data.Type.Ordinal
- Data.Type.Ordinal.Builtin
- Data.Type.Natural
- Type
Downloads
- type-natural-1.2.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates