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


Ignore:
Timestamp:
Jan 25, 2013 1:39:46 PM (15 months 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