Changes between Version 34 and Version 35 of MoreDepth


Ignore:
Timestamp:
Sep 15, 2006 12:33:45 AM (9 years ago)
Author:
beshers
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MoreDepth

    v34 v35  
    55 * How the renamer works 
    66 
    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 
    88 
    99 * How the simplifier works, and what transformations it does.