Changes between Version 11 and Version 12 of TypeNats/Operations


Ignore:
Timestamp:
Apr 6, 2011 8:51:27 AM (4 years ago)
Author:
guest
Comment:

typo in type instances

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v11 v12  
    4848 
    4949 
    50 type instance m + n = mn                 -- for concrete numbers m, n, mn, with m * n = mn 
     50type instance m * n = mn                 -- for concrete numbers m, n, mn, with m * n = mn 
    5151type instance 0 * a = a                    
    5252type instance 1 * a = a 
     
    5454type instance m * a = a * m              -- for concrete numbers m 
    5555 
    56 type instance m + n = mn                 -- for concrete numbers m, n, mn, with m ^ n = mn 
     56type instance m ^ n = mn                 -- for concrete numbers m, n, mn, with m ^ n = mn 
    5757type instance 1 ^ a = 1 
    5858type instance a ^ 0 = 1