Changes between Version 2 and Version 3 of TypeNats


Ignore:
Timestamp:
Nov 24, 2010 9:12:49 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v2 v3  
     1= Type Level Naturals =
     2
    13This page collects information on how to work with type-level natural numbers, as implemented in the Haskell compiler GHC (ticket #4385).
    24