Changes between Version 26 and Version 27 of TypeFunctionsSynTC


Ignore:
Timestamp:
Jan 18, 2007 11:40:18 AM (8 years ago)
Author:
sulzmann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v26 v27  
    6262 
    6363 
     64 
    6465(T [Int] = S [Int]) /\             -- local assumptions 
    6566(T Int = S Int) 
     
    110111 * [wiki:TypeFunctionsSynTC/Comparison Brief comparison] 
    111112 * [wiki:TypeFunctionsSynTC/GhcChr CHR-style simplification for GHC] 
     113 * [wiki:TypeFunctionsSynTC/GhcChrExamples Examples]