Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-18 17:22:31 -0700 (Wed, 18 Jun 2003)
Revision: 4673
Log message:
Added a "simple" type inference resource.
This is supposed to be a strict type inference algorithm,
for languages where type inference is well-defined,
for example in ML-like languages.