Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-09-04 13:47:21 -0700 (Sat, 04 Sep 2004)
Revision: 6173
Log message:
Updated type checking rules for let rec to exploit our new ability to lift
contexts into enclosing sequents. Also reformulated it based on comments from
Jason and Aleksey.
This also includes a non-working tactic-based version of closure conversion. I
think it's sound but I haven't managed to make it work. Really I just need to
sort out the types and it will all be fine. :-)