Changes between Version 8 and Version 9 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 29, 2006 1:34:40 AM (8 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