Version 30 (modified by diatchki, 8 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

Notes on Design

Notes on the Implementation

  • The implementation resides on branch 'type-nats' of the GHC repo. The following GHC-related related repos also have a type-nats branch:
    • libraries/base
    • libraries/template-haskell
    • utils/haddock

XXX: Cleanup