Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-09 16:26:11 -0700 (Mon, 09 Jun 2003)
Revision: 4654
Log message:

      Added an initial core lambda-calculus compiler.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-12 14:23:36 -0700 (Thu, 12 Jun 2003)
Revision: 4660
Log message:

      The initial typed-ast and initial type-checking rules.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-16 14:51:51 -0700 (Mon, 16 Jun 2003)
Revision: 4663
Log message:

      Some minor changes to the paper.
      

Changes by: ( at unknown.email)
Date: 2003-06-16 21:26:48 -0700 (Mon, 16 Jun 2003)
Revision: 4669
Log message:

      This commit was manufactured by cvs2svn to create tag
      'M_PAPER_MERLIN_2003_SUBMISSION'.

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-17 17:10:07 -0700 (Tue, 17 Jun 2003)
Revision: 4670
Log message:

      Added type erasure.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-18 17:36:31 -0700 (Wed, 18 Jun 2003)
Revision: 4674
Log message:

      Added the initial parts of type inference.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-24 16:45:21 -0700 (Tue, 24 Jun 2003)
Revision: 4683
Log message:

      Minor omake changes.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-30 11:15:39 -0700 (Mon, 30 Jun 2003)
Revision: 4690
Log message:

      Initial implementation of pattern matching.
      This uses a new parameter type "match_param", which
      gives a simplified representation of parameters that
      requires no "when" clauses during pattern matching.