Changes between Version 24 and Version 25 of TypeNats


Ignore:
Timestamp:
Feb 6, 2011 9:16:00 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v24 v25  
    88  * [wiki:TypeNats/Naturals         Natural Numbers: From Values to Types] 
    99  * [wiki:TypeNats/Operations       Type-Level Operations] 
     10  * [wiki:TypeNats/Examples         Examples] 
    1011 
    1112