|Version 4 (modified by diatchki, 6 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).
- Type-Level Naturals Basics
- Simple Examples of Using GHC.TypeNats
- Implementation of GHC.TypeNats
- Design Notes about Nat vs. TypeNat
- Axioms for Natural Number Operators