@hackage type-natural0.2.1.3

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.

Deprecated
This release has been deprecated in favour of: @hackage/type-natural-1.3.0.1
Dependencies (0)
Dependents (3)
@hackage/sized, @hackage/tropical-geometry, @hackage/linearmap-category