Changes between Version 334 and Version 335 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 25, 2013 1:39:46 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v334 v335  
    5454----------------------
    5555=== Arity ===
     56 * #7542: optimisation of eta expansion/reduction
    5657 * #5809: arity analysis could be better
    5758 * #3924: weak arity leads to weak strictness