Changes between Version 29 and Version 30 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:22:51 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v29 v30  
    66
    77  * [wiki:TypeNats/Basics           Type-Level Naturals Basics]
    8   * [wiki:TypeNats/Operations       Type-Level Operations]
    9  
     8  * [wiki:TypeNats/Operations       Type-Level Computation]
     9  * [wiki:TypeNats/InductiveDefinitions Typed examinations of TNat (inductive definitions)]
    1010
    1111
     
    3131 
    3232== XXX: Cleanup ==
    33   * [wiki:TypeNats/InductiveDefinitions Inductive definitions]
    3433  * [wiki:TypeNats/Naturals         Natural Numbers: From Values to Types]
    3534  * More advanced example: https://github.com/yav/memory-arrays/tree/master