Version 19 (modified by 9 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).
User's Guide
Implementation and Design Issues
- Axioms for Natural Number Operators
- GHC Interaction Rules (Notational Conventions)
External links
- Source repos
- More advanced example: https://github.com/yav/memory-arrays/tree/master