@hackage / type-unary

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

0.3.2

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / ftree Depth-typed functor-based trees, both top-down and bottom-up
- Version: 0.1.5
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / functor-combo Functor combinators with tries & zippers
- Version: 0.3.6
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / music-pitch Musical pitch representation.
- Version: 1.9.0
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / musicxml2 A representation of the MusicXML format.
- Version: 1.9.0
- Last uploaded: 11 years ago
- License: BSD-3-Clause