Changes between Version 37 and Version 38 of TypeNats


Ignore:
Timestamp:
Sep 23, 2012 3:02:14 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v37 v38  
    77  * [wiki:TypeNats/Basics           Type-Level Literal Basics] 
    88  * [wiki:TypeNats/Operations       Type-Level Computation] 
    9   * [wiki:TypeNats/InductiveDefinitions Typed examinations of TNat (inductive definitions)] 
     9  * [wiki:TypeNats/InductiveDefinitions Typed examinations of Sing values] 
     10  * [wiki:TypeNats/MatchingOnNats   Matching on Type-Level Naturals (i.e., working with classes and type-families)] 
    1011 
    1112