Changes between Version 7 and Version 8 of Status/April07


Ignore:
Timestamp:
Apr 29, 2007 4:43:00 PM (7 years ago)
Author:
igloo
Comment:

fix syntax

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v7 v8  
    8787more complicated than we expected; and it delivers less benefits than 
    8888we hoped.  For example, the system described in the paper does not 
    89 type-check (\verb+runST $ foo+) and everyone complains. So Simon added 
     89type-check (`runST $ foo`) and everyone complains. So Simon added 
    9090an even more ad-hoc extension that does left-to-right instantiation. 
    9191