Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-01-23 20:05:03 -0800 (Thu, 23 Jan 2003)
Revision: 4014
Log message:
This is a first version of a syntax that parallels the MCC FIR.
Haven't tried to compile yet.
Changes | Path |
Properties | metaprl/theories/experimental/compile |
Added | metaprl/theories/experimental/compile/README |
Properties | metaprl/theories/experimental/compile/README |
Added | metaprl/theories/experimental/compile/mc_ir.ml |
Properties | metaprl/theories/experimental/compile/mc_ir.ml |