The latest version of type-unary is 0.3.2-2.
type-unary
Version 0.1.5 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Type-level and typed unary natural numbers, vectors, inequality proofs
- Description
Type-level and value-typed unary natural numbers, plus length-typed vectors, inequality proofs. There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.
- Author
- Conal Elliott
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2009-2011 by Conal Elliott
- Homepage
- https://github.com/conal/type-unary
- Maintainer
- conal@conal.net
- Package URL
- n/a
- Stability
- experimental