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]