Changes between Version 182 and Version 183 of Commentary

Show
Ignore:
Timestamp:
05/23/12 00:45:27 (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary

    v182 v183  
    7474 
    7575 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
    76    * [wiki:Types/Contracts Contracts in Haskell] 
     76   * [wiki:LightweightConcurrency A new lightweight concurrency substrate for GHC] 
     77   * [wiki:Contracts Contracts in Haskell] 
    7778   * [wiki:Holes Agda-style holes in terms] which supports writing partial programs. 
    7879   * [wiki:Records Records]