Difference between revisions of "Category:Type-level programming"

Latest revision as of 19:39, 6 July 2007

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

The following 11 pages are in this category, out of 11 total.

Revision as of 19:03, 30 June 2007 (view source) Marcel Manthe (talk \| contribs)		Latest revision as of 19:39, 6 July 2007 (view source) 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]]