Changes between Version 23 and Version 24 of TypeNats


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v23 v24  
    2424    * [wiki:TypeNats/Interact2      Simple Inert Interactions]
    2525    * [wiki:TypeNats/LEQ            Solving (<=) Predicates]
     26    * XXX: Write the new rules
     27  * Translation to FC
     28  * Precedences for infix predicates such as ~ and <=
    2629
    2730