Changes between Version 8 and Version 9 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
07/28/06 18:34:40 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v8 v9  
    88 
    99Todo (low-level): 
    10  * Generate tcdTyPats 
    1110 * Toplevel ty sigs & equations 
    1211