wiki:TypeNats

Version 36 (modified by diatchki, 2 years ago) (diff)

--

Type Level Literals

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

User's Guide

Notes on Design

Notes on the Implementation

Source Code

XXX: Cleanup