Personal tools

Category:Type-level programming

From HaskellWiki

Jump to: navigation, search

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