Changes between Version 62 and Version 63 of Supercompilation


Ignore:
Timestamp:
Feb 1, 2010 1:25:14 AM (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v62 v63  
    1616   * case (x>y)of { ....case (x>y) of ... } 
    1717   * Extending this to specialised functions themselves. 
    18  * Change representation in rho 
    1918 * case var subst 
    2019 * strictness annotations