provide simplified untyped_evaluator (complete version)
[lambda.git] / code / untyped_evaluator.ml
2015-03-20 Jimprovide simplified untyped_evaluator (complete version)