The type-unary package

Type-level and value-typed unary natural numbers, inequality proofs, and length-typed vectors. There are probably many of these packages. Perhaps consolidate.

Properties

Versions	0.0.0, 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7, 0.1.8, 0.1.9, 0.1.10, 0.1.11, 0.1.12, 0.1.13, 0.1.14, 0.1.15, 0.1.16, 0.1.18, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.8
Dependencies	applicative-numbers, base (4.*), ty, vector-space
License	BSD3
Copyright	(c) 2009-2012 by Conal Elliott
Author	Conal Elliott
Maintainer	conal@conal.net
Stability	provisional
Category	Data
Home page	https://github.com/conal/type-unary
Source repository	git clone git://github.com/conal/type-unary
Upload date	Tue Jan 22 23:22:40 UTC 2013
Uploaded by	ConalElliott
Build failure	ghc-7.6 (log)

Modules

TypeUnary
- TypeUnary.Nat
- TypeUnary.TyNat
- TypeUnary.Vec

Downloads

type-unary-0.2.8.tar.gz (Cabal source package)
package description (included in the package)