Changes between Version 35 and Version 36 of TypeNats


Ignore:
Timestamp:
Apr 9, 2012 12:58:19 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v35 v36  
    1 = Type Level Naturals =
     1= Type Level Literals =
    22
    3 This page collects information on how to work with type-level natural numbers, as implemented in the Haskell compiler GHC (ticket #4385).
     3This page collects information on how to work with type-level literals, as implemented in the Haskell compiler GHC (ticket #4385).
    44
    55== User's Guide ==
    66
    7   * [wiki:TypeNats/Basics           Type-Level Naturals Basics]
     7  * [wiki:TypeNats/Basics           Type-Level Literal Basics]
    88  * [wiki:TypeNats/Operations       Type-Level Computation]
    99  * [wiki:TypeNats/InductiveDefinitions Typed examinations of TNat (inductive definitions)]