Changes between Version 26 and Version 27 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/09/06 07:17:53 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v26 v27  
    3333Todo (high-level): 
    3434 1. Type checking of associated data types. 
    35  2. Type checking of type functions (and hence, associated type synonyms). 
     35 2. Type checking of type functions (and hence, associated type synonyms); forget about `iso` for the moment. 
    3636 3. Type check functional dependencies as type functions. 
    3737