-
interp1.ss --A basic interpreter that can interpret lambda calculus without first-class function
-
interp-lambda.ss --A call-by-value interpreter can interpret lambda calculus completely
-
inferencer.ss --A type inferencer for STLC(simply typed lambda calculus)