Changes between Version 7 and Version 8 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 16, 2010 1:48:09 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v7 v8  
    55}}} 
    66 
    7 When overlapping, earlier rules take precedence (as in Haskell multi-equation defitions). 
     7When overlapping, earlier rules take precedence (as in Haskell multi-equation definitions). 
    88 
    99