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