Changes between Version 21 and Version 22 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 4:57:48 AM (5 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 ==