@hackage type-natural1.0.0.0

Type-level natural and proofs of their properties.

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
- 1.3.0.1 Sun, 9 Jun 2024
- 1.3.0.0 Tue, 21 Mar 2023
- 1.2.0.1 Fri, 25 Nov 2022
- 1.1.0.1 Sat, 11 Dec 2021
- 1.1.0.0 Wed, 10 Feb 2021
- 1.0.0.0 Sun, 17 Jan 2021

Installation
In your cabal file:
Tested Compilers
Dependencies (9)
- base >=4 && <5
- template-haskell >=2.8
- constraints >=0.3
- equational-reasoning >=0.4.1.1
- ghc
- ghc-typelits-knownnat
Dependents (7)
@hackage/sized, @hackage/acme-everything, @hackage/sized-vector, @hackage/tropical-geometry, @hackage/computational-algebra, @hackage/lol, Show all…

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.