|Version 20 (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).
Implementation and Design Issues
- Implementation of GHC.TypeNats
- Alternative Design For Singletons
- Axioms for Natural Number Operators
- GHC Interaction Rules (Notational Conventions)