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

Show
Ignore:
Timestamp:
01/25/13 05:39:46 (4 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