wiki:TypeNats

Version 7 (modified by diatchki, 4 years ago) (diff)

--

Type Level Naturals

This page collects information on how to work with type-level natural numbers, as implemented in the Haskell compiler GHC (ticket #4385).

External links: