Changes between Version 192 and Version 193 of Commentary


Ignore:
Timestamp:
Aug 28, 2012 8:08:27 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v192 v193  
    7474 
    7575 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
     76   * [wiki:Commentary/GSoCMultipleInstances Allowing multiple instances of the same package to be installed], each instance having different dependencies 
    7677   * [wiki:Commentary/Contracts Contracts in Haskell] 
    7778   * [wiki:Holes Agda-style holes in terms] which supports writing partial programs.