Difference between revisions of "Category:Type-level programming"
Jump to navigation
Jump to search
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]] |
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.
Pages in category "Type-level programming"
The following 11 pages are in this category, out of 11 total.