Changes between Version 28 and Version 29 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:19:21 AM (3 years 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]