Changes between Version 17 and Version 18 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 6:10:09 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v17 v18  
    1414{{{ 
    1515(m + n ~ k) <=> {m + n == k} 
     16 
    1617(m + a ~ n) <=> a ~ {n - m}    -- n >= m 
    1718(0 + a ~ b) <=> a ~ b 
    18 (a + b ~ 0) <=> (a ~ 0, b ~ 0) -- XXX: Drop this, follows from <= rules? 
     19 
    1920(a + b ~ a) <=> (b ~ 0) 
    2021(a + b ~ b) <=> (a ~ 0) 
     22 
    2123(a + a ~ b) <=> (2 * a ~ b) 
     24(a + b ~ 0) <=> (a ~ 0, b ~ 0) -- XXX: Drop this, follows from <= rules? 
     25 
    2226(a + m ~ b) <=> (m + a ~ b)    -- simple normalization cuts down on some rules 
    2327}}}