The latest version of tfp is 1.0.2-0.
tfp
Version 0.5 revision 1 uploaded by HerbertValerioRiedel.
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