The latest version of type-unary is 0.3.2-2.
type-unary
Version 0.1.16 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Type-level and typed unary natural numbers, inequality proofs, vectors
- Description
Type-level and value-typed unary natural numbers, inequality proofs, and length-typed vectors. 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