Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-22 20:25:41 -0800 (Tue, 22 Feb 2005)
Revision: 6751
Log message:
Added support for nested quotations. Here is an example.
interactive foo :
sequent { <H> >- <:tast< let v : << TyInt >> = 1 in v >> in TyTop }