Changes between Version 12 and Version 13 of TypeNats/Operations


Ignore:
Timestamp:
Apr 6, 2011 8:52:40 AM (3 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v12 v13  
    4949 
    5050type instance m * n = mn                 -- for concrete numbers m, n, mn, with m * n = mn 
    51 type instance 0 * a = a                    
     51type instance 0 * a = 0                    
    5252type instance 1 * a = a 
    5353type instance a * a = a ^ 2