tfp-0.1: Type-level programming library using type families

Portabilitynon-portable (type families, requires ghc >= 6.9)
Stabilityexperimental
Maintainerpgavin@gmail.com

Types.Data.Num

Description

Type-level numerical operations using type families.

Documentation