@hackage / type-unary

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

Latest0.3.2

Dependencies

library:type-unary (6 dependencies)

@hackage / applicative-numbers Applicative-based numeric instances
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version:
- License: BSD-2-Clause
@hackage / ty Typed type representations and equality proofs
- Version: >=0.1.5
- License: BSD-3-Clause
@hackage / newtype-generics A typeclass and set of functions for working with newtypes
- Version: <0.6
- License: BSD-3-Clause
@hackage / vector-space Vector & affine spaces, linear maps, and derivatives
- Version:
- License: BSD-3-Clause