@hackage type-unary0.3.2
Type-level and typed unary natural numbers, inequality proofs, vectors
Installation
Dependencies (6)
- applicative-numbers
- base >=4.8 && <5
- constraints
- newtype-generics <0.6
- ty >=0.1.5
- vector-space Show all…
Dependents (5)
@hackage/ftree, @hackage/music-pitch, @hackage/musicxml2, @hackage/functor-combo, @hackage/acme-everything
Type-level and value-typed unary natural numbers, inequality proofs, and length-typed vectors. There are probably many of these packages. Perhaps consolidate.