Changes between Version 26 and Version 27 of MoreDepth


Ignore:
Timestamp:
Sep 15, 2006 12:21:14 AM (9 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