Changes between Version 179 and Version 180 of Commentary


Ignore:
Timestamp:
Apr 27, 2012 10:15:35 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v179 v180  
    7373 
    7474 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
     75   * [wiki:Holes Agda-style holes in terms] which supports writing partial programs. 
    7576   * [wiki:Records Records] 
    7677   * [wiki:NewAxioms New coercion axioms design]