Changes between Version 38 and Version 39 of TypeNats

Show
Ignore:
Timestamp:
10/15/12 22:34:01 (8 months 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]