Changes between Version 18 and Version 19 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 6:12:06 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v18 v19  
    66
    77  * [wiki:TypeNats/Basics           Type-Level Naturals Basics]
    8   * [wiki:TypeNats/BasicExamples    Simple Examples of Using GHC.TypeNats]
    9   * [wiki:TypeNats/ImplicitExplicit Design Notes about Nat vs. TypeNat]
     8  * [wiki:TypeNats/Naturals         Natural Numbers: From Values to Types]
     9  * [wiki:TypeNats/Operations       Type-Level Operations]
    1010
    1111