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