Usage:
- Install OchaCaml (http://pllab.is.ocha.ac.jp/~asai/OchaCaml/).
- Launch the OchaCaml interpreter in the terminal.
- Load stepper.ml by typing
load "stepper.ml" ;;
. You will see the steps offac 3
. - To highlight redexes, copy the result to a new file.
- Load stepper.el (
M-x load-file
,stepper.el
) and run the function that highlights redexes (M-x stepper-highlight
).