Changes between Version 180 and Version 181 of Commentary


Ignore:
Timestamp:
May 1, 2012 10:40:34 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v180 v181  
    7373 
    7474 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
     75   * [wiki:Types/Contracts Contracts in Haskell] 
    7576   * [wiki:Holes Agda-style holes in terms] which supports writing partial programs. 
    7677   * [wiki:Records Records]