Changes between Version 38 and Version 39 of TypeNats


Ignore:
Timestamp:
Oct 16, 2012 5:34:01 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v38 v39  
    1313== Notes on Design == 
    1414 
     15  * [wiki:TypeNats/SingletonsAndKinds Details about the implementation of singleton families.] 
    1516  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    1617  * [wiki:TypeNats/AvoidingPartialTypeFunctions Avoiding Partial Type Functions]