Changes between Version 34 and Version 35 of MoreDepth
- Timestamp:
- 09/14/06 17:33:45 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
MoreDepth
v34 v35 5 5 * How the renamer works 6 6 7 * How the type checker works --- Norman Ramsey (but prefer two below), Andres Löh, Jeremy Gibbons, Luke Maurer, Brandon Moore, Kim-Ee Yeoh 7 * How the type checker works --- Norman Ramsey (but prefer two below), Andres Löh, Jeremy Gibbons, Luke Maurer, Brandon Moore, Kim-Ee Yeoh, Clifford Beshers 8 8 9 9 * How the simplifier works, and what transformations it does.
