Changes between Version 182 and Version 183 of Commentary


Ignore:
Timestamp:
May 23, 2012 7:45:27 AM (2 years 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]