Category:Type-level programming

(Difference between revisions)

Current revision

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

There are 11 pages in this category.

Revision as of 19:03, 30 June 2007 (edit) Marcel Manthe (Talk \| contribs) ← Previous diff		Current revision (19:39, 6 July 2007) (edit) (undo) BrettGiles (Talk \| contribs) (Really a nice Haskell Idiom...)
Line 1:		Line 1:
	Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.		Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.
		+	[[Category:Idioms]]