Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-23 10:28:36 -0800 (Sun, 23 Feb 2003)
Revision: 4112
Log message:

      Trying CPS with inference rules.
      

Changes	Path
+37 -35	metaprl/theories/experimental/compile/m_cps.ml
+4 -10	metaprl/theories/experimental/compile/m_cps.mli
+95 -25	metaprl/theories/experimental/compile/m_ir.ml
+6 -0	metaprl/theories/experimental/compile/m_ir.mli
+16 -4	metaprl/theories/experimental/compile/m_test.ml