Changes between Version 29 and Version 30 of MoreDepth
- Timestamp:
- 09/14/06 17:27:59 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
MoreDepth
v29 v30 15 15 * Past or present efforts in formal verification of GHC components 16 16 17 * Details of the GHC-as-a-library API, and how to use it. -- Norman Ramsey, Andy Gill, Geoff Washburn, Jeffery Zhang 17 * Details of the GHC-as-a-library API, and how to use it. -- Norman Ramsey, Andy Gill, Geoff Washburn, Jeffery Zhang, Kathleen Fisher 18 18 [[BR]] 19 19 Related: compiling multiple modules: `--make` and all that
