Changes between Version 2 and Version 3 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 15, 2010 6:06:37 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v2 v3  
    4040(a * 1 ~ b) <=> a ~ b 
    4141(a * b ~ 1) <=> (a ~ 1, b ~ 1) 
    42 (a + a ~ b) <=> 2 ^ a ~ b 
     42(a + a ~ b) <=> a ^ 2 ~ b 
    4343}}} 
    4444