@hackage type-natural1.3.0.1

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 Wed, 27 Dec 2023
- 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

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.

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 (3)
@hackage/sized, @hackage/tropical-geometry, @hackage/linearmap-category