Changes between Version 183 and Version 184 of Commentary


Ignore:
Timestamp:
May 23, 2012 7:45:48 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

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