Changes between Version 6 and Version 7 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 16, 2010 1:47:56 AM (5 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