Changes between Version 29 and Version 30 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:22:51 AM (2 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