type-level programming library
This library permits performing computations on the type-level.
Type-level functions are implemented using functional dependencies of
multi parameter type classes. To date, Booleans and Numerals (Naturals
and Positives) are supported.

Maintainer: Jasper Lievisse Adriaanse <jasper@openbsd.org>

WWW: http://hackage.haskell.org/package/type-level
