Changes between Version 26 and Version 27 of MoreDepth


Ignore:
Timestamp:
Sep 15, 2006 12:21:14 AM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MoreDepth

    v26 v27  
    1212 
    1313 * Packages, Cabal, and GHC --- would like to see: Norman Ramsey, Geoff Washburn 
     14 
     15 * Past or present efforts in formal verification of GHC components 
    1416 
    1517 * Details of the GHC-as-a-library API, and how to use it. -- Norman Ramsey, Andy Gill, Geoff Washburn, Jeffery Zhang