Besides terms to reduce, this lambda-calculator accepts a set of commands,
which add even more convenience. Commands define new shortcuts, activate
tracing of all reductions, compare terms modulo alpha-conversion, print all
defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are
entered at a read-eval-print-loop (REPL) "prompt" -- or "included" from a file
by a special command.
Besides terms to reduce, this lambda-calculator accepts a set of commands,
which add even more convenience. Commands define new shortcuts, activate
tracing of all reductions, compare terms modulo alpha-conversion, print all
defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are
entered at a read-eval-print-loop (REPL) "prompt" -- or "included" from a file
by a special command.