The latest version of tfp is 1.0.2-0.

tfp

Version 0.6 revision 0 uploaded by PeterGavin.

Package meta

Synopsis
Type-level programming library using type families
Description

TFP (short for Type Family Programming) provides implementations of type-level integers and booleans, and (eventually) simple type-level data structures. It uses type families as functions to produce new types, which provides an intuitive way to parameterize data types and functions on numerical values at compile time.

Author
Peter Gavin
Bug reports
n/a
Category
Data
Copyright
Copyright (c) 2008 Peter Gavin
Homepage
http://github.com/pgavin/tfp
Maintainer
pgavin@gmail.com
Package URL
http://github.com/pgavin/tfp
Stability
alpha

Components