Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-27 23:10:50 -0700 (Mon, 27 Aug 2001)
Revision: 3375
Log message:
I've simplified the syntax of some things
with regard to the program state. This has,
at least initially, made formulating some
rules for type checking easier. As of now,
type checking has a fairly good start.
Whether the rules are strong enough, and
whether they work in practice need to
be tested.