Changes between Version 62 and Version 63 of Supercompilation

Timestamp:

01/31/10 17:25:14 (3 years ago)

Author:

pejo

Comment:

--

Supercompilation

@@ -16 +16 @@
    * case (x>y)of { ....case (x>y) of ... }
    * Extending this to specialised functions themselves.
- * Change representation in rho
  * case var subst
  * strictness annotations