Changes between Version 89 and Version 90 of TypeFunctions


Ignore:
Timestamp:
Jan 5, 2013 3:58:44 AM (16 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v89 v90  
    1212 * All basic functionality of open data type families, open type synonym families, and equality constraints has been implemented. 
    1313 * Type checking is fully integrated with GADTs. 
     14 * Type family instances can have ordered groups of equations. See NewAxioms. 
    1415 
    1516Missing features: