Changes between Version 28 and Version 29 of TypeNats

Show
Ignore:
Timestamp:
03/20/12 18:19:21 (14 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats

    v28 v29  
    66 
    77  * [wiki:TypeNats/Basics           Type-Level Naturals Basics] 
    8   * [wiki:TypeNats/Naturals         Natural Numbers: From Values to Types] 
    98  * [wiki:TypeNats/Operations       Type-Level Operations] 
    10   * [wiki:TypeNats/Examples         Examples] 
     9  
    1110 
    1211 
    … …  
    1514  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    1615  * [wiki:TypeNats/AvoidingPartialTypeFunctions Avoiding Partial Type Functions] 
    17   * Naturals or Integers? 
    18   * [wiki:TypeNats/InductiveDefinitions Inductive definitions] 
     16 
    1917     
    2018== Notes on the Implementation == 
    … …  
    3230    * utils/haddock 
    3331   
    34  
    35  
     32== XXX: Cleanup == 
     33  * [wiki:TypeNats/InductiveDefinitions Inductive definitions] 
     34  * [wiki:TypeNats/Naturals         Natural Numbers: From Values to Types] 
    3635  * More advanced example: https://github.com/yav/memory-arrays/tree/master 
     36  * [wiki:TypeNats/Examples         Examples]