Changes between Version 82 and Version 83 of TypeFunctions


Ignore:
Timestamp:
Apr 6, 2008 8:40:42 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v82 v83  
    1414 * Superclass equalities.
    1515 * Data family instances in GADT form.
    16  * Closed or exhaustive synonym families.
     16 * [wiki:TypeFunctions/TotalFamilies Total type families.]
     17 * Closed synonym families.
    1718 * Re-implement functional dependencies using type families.
    1819