Changes between Version 36 and Version 37 of TypeNats


Ignore:
Timestamp:
Apr 17, 2012 7:51:58 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v36 v37  
    1414  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    1515  * [wiki:TypeNats/AvoidingPartialTypeFunctions Avoiding Partial Type Functions] 
     16  * [wiki:TypeNats/SingletonsAndExistentials Singletons and Existentials] 
    1617 
    1718