Skip to content

Stepper

Tan Yee Jian edited this page Mar 18, 2020 · 17 revisions

WIP: documentation of the stepper tool

To use the stepper in a REPL, you can run the repl with subst as its last command line argument:

cd js-slang
yarn build && node dist/repl/repl.js 1 subst
Clone this wiki locally