Changes between Version 6 and Version 7 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 5:26:36 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v6 v7  
    2626
    2727== Solving Constraints ==
     28
     29Comparison rules:
     30{{{
     31instance m <= n                          -- for concrete numbers m, n with m <= n
     32instance a <= a
     33instance 0 <= a
     34instance (a <= b, b <= c) => (a <= c)    -- (under construction)
     35
     36
     37}}}