Changes between Version 6 and Version 7 of TypeFunctions/TotalFamilies


Ignore:
Timestamp:
Apr 7, 2008 2:54:43 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions/TotalFamilies

    v6 v7  
    1010data Z; data S a;
    1111
    12 -- meets the Strong Termination Condition
     12-- meets the Relaxed Condition
    1313type family x :+ y
    1414type instance Z   :+ y = y
    1515type instance S x :+ y = S (x :+ y)
    1616
    17 -- meets only the Relaxed Condition
     17-- does not even meet the Relaxed Condition
    1818type family x :* y
    1919type instance Z   :* y = Z