Changes between Version 6 and Version 7 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 16, 2010 1:47:56 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

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