Changes between Version 10 and Version 11 of TypeNats/Operations


Ignore:
Timestamp:
Jan 31, 2011 12:25:32 AM (3 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)