Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-08 15:14:42 -0700 (Thu, 08 Aug 2002)
Revision: 3778
Log message:
Flushing out some work on the typing rules.
I've added kinds and some judgments to mfir_sequent. For mfir_ty, I've had to
change how some types are represented (so that we get a convinient binding
structure), and I've also added terms to represent some typing definitions.
Added some typing rules, which I think all work as expected now. Comments and
documentation might need some clarifying still, but at least something's there
for now.