Changes between Version 10 and Version 11 of TypeNats/Operations


Ignore:
Timestamp:
Jan 31, 2011 12:25:32 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v10 v11  
    3636instance a <= a
    3737instance 0 <= a
    38 instance (a <= b, b <= c) => (a <= c)    -- (under construction)
     38instance (a <= b, b <= c) => (a <= c)
    3939instance (a <= a + b)
    4040instance (b <= a + b)