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