Changes between Version 21 and Version 22 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 4:57:48 AM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v21 v22  
    1313 
    1414  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    15  
     15  * [wiki:TypeNats/AvoidingPartialTypeFunctions Avoiding Partial Type Functions] 
     16  * Naturals or Integers? 
    1617     
    1718== Notes on the Implementation ==