@hackage type-natural0.0.1.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:
Dependencies (3)
- base >=4.6 && <4.7
- equational-reasoning >=0.0 && <0.1
- singletons >=0.8 && <0.9
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.