Changes between Version 20 and Version 21 of MoreDepth


Ignore:
Timestamp:
Sep 15, 2006 12:17:51 AM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MoreDepth

    v20 v21  
    55 * How the renamer works
    66
    7  * How the type checker works --- Norman Ramsey
     7 * How the type checker works --- Norman Ramsey, Andres Löh
    88
    99 * How the simplifier works, and what transformations it does.