Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-11 19:36:39 -0800 (Fri, 11 Mar 2005)
Revision: 6908
Log message:
I'm being a little anal here. I prefer the form where the <singleton_params_c>
is a context, containing singleton types. This gets the arity of the functions
right, and I feel a little better about it just because I have a better
understanding of the semantics.