Changes between Version 5 and Version 6 of TypeNats/Interact1


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v5 v6  
    44a,b,c:  types of kind Nat 
    55}}} 
     6 
     7When overlapping, earlier rules take precedence (as in Haskell). 
     8 
    69 
    710Top-level interactions for {{{TypeNat}}}: 
     
    2831(a + b ~ b) <=> (a ~ 0) 
    2932(a + a ~ b) <=> (2 * a ~ b) 
     33(a + m ~ b) <=> (m + a ~ b)    -- simple normalization cuts down on some rules 
    3034}}} 
    3135