Personal tools

Category:Type-level programming

From HaskellWiki

Revision as of 19:03, 30 June 2007 by Marcel Manthe (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.