Changes between Version 23 and Version 24 of TypeNats


Ignore:
Timestamp:
Jan 27, 2011 6:18:18 AM (3 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