@hackage type-unary0.3.2

Type-level and typed unary natural numbers, inequality proofs, vectors

Categories
License
BSD-3-Clause
Maintainer
conal@conal.net
Links
Versions
- 0.3.2 Sat, 13 May 2023
- 0.3.0 Sat, 5 Jan 2019
- 0.2.21 Sat, 5 Jan 2019
- 0.2.19 Sat, 5 Jan 2019
- 0.2.16 Sat, 5 Jan 2019
- 0.2.15 Sat, 5 Jan 2019

Type-level and value-typed unary natural numbers, inequality proofs, and length-typed vectors. There are probably many of these packages. Perhaps consolidate.

Installation
In your cabal file:
Dependencies (6)
- base >=4.8 && <5
- applicative-numbers
- constraints
- newtype-generics <0.6
- ty >=0.1.5
- vector-space
Dependents (2)
@hackage/ftree, @hackage/functor-combo

@hackage type-unary0.3.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (6)

Dependents (2)