- 5. Then once OCaml is started, you can either: (a) type `#load "simple.cmo";;`, then type
- `open Simple;;` (this has to be on a separate line from step (a), it seems);
- or (b) instead you can type `#use "simple.ml";;`
- 6. Now you can try commands like `interpret (App(Lambda("x",Var "x"),Lambda("y",Var "y"))) empty`
- Or V1.reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y"))) empty`
- Or V1.evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y"))) empty`
+ 5. Then once OCaml is started, you can either: (a) type `#load "untyped_evaluator.cmo";;`, then type
+ `open Untyped_evaluator;;` (this has to be on a separate line from step (a), it seems);
+ or (b) instead you can type `#use "untyped_evaluator.ml";;`
+ 6. Now you can try commands like:
+ `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
+ `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`