@hackage type-natural0.0.2.1
Type-level natural and proofs of their properties.
Categories
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
Installation
Dependencies (4)
- base >=4.6 && <4.7
- equational-reasoning >=0.0 && <0.1
- monomorphic >=0.0.3
- singletons >=0.8 && <0.9 Show all…
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.