Changes between Version 64 and Version 65 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 24, 2008 9:51:33 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v64 v65  
    9797check [[co :: t ~ t]] = [] with co = id
    9898check [[co :: x ~ y]]
    99   | x < y     = [[co :: x ~ y]]
     99  | x > y     = [[co :: x ~ y]]
    100100  | otherwise = [[co' :: y ~ x]] with co = sym co'
    101101check [[co :: x ~ t]]