Changes between Version 78 and Version 79 of WikiStart

Show
Ignore:
Timestamp:
08/30/10 04:44:54 (3 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v78 v79  
    1111 * I'm cleaning up the handling of data type declarations. The Source, Desugared, and Core languages all used their own representations for data type declarations, and I'm merging the ones for Desugared and Core.  
    1212 * This will let me implement proper handling of material/immaterial variables in types, which is needed when resolving Shape constraints. 
    13  * This should fix the @T102-CopyIntFun test@. 
     13 * This should fix the `T102-CopyIntFun` test. 
    1414 
    1515==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010  ====