Changes between Version 26 and Version 27 of TypeFunctionsSynTC


Ignore:
Timestamp:
Jan 18, 2007 11:40:18 AM (9 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]