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