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	Sat Oct 20 01:08:58 UTC 2012
Uploaded by	ConalElliott
Build failure	ghc-7.6 (log)

Modules

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

Downloads

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