@hackage type-natural1.3.0.2

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.2 Thu, 2 Jan 2025
- 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

Installation
In your cabal file:
Tested Compilers
Dependencies (9)
- base >=4 && <5
- constraints >=0.3
- equational-reasoning >=0.4.1.1
- ghc
- ghc-typelits-knownnat
- ghc-typelits-natnormalise >=0.4
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.