@hackage type-natural0.5.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
- 7.10.3
Dependencies (8)
- base >=4 && <5
- template-haskell >=2.8 && <3
- constraints >=0.3 && <0.9
- equational-reasoning >=0.4 && <0.5
- ghc-typelits-natnormalise >=0.4 && <0.5
- ghc-typelits-presburger >=0.1.1 && <1
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.

This version 0.5.0.0 supports GHC 7.10.* only.

Use >= 0.6.0.0 with GHC 8.0.0+.