Simple Lambda Calculus evaluator with hvm-lang syntax
Usage: lambda-eval [OPTIONS] <MODE> <PATH>
Arguments:
<MODE> [possible values: run, run-stepped, interactive]
<PATH> Path to the input file
Options:
-f, --form <FORM> [default: nf] [possible values: nf, wnf, hnf, whnf]
-o, --order <ORDER> [default: normal] [possible values: normal, applicative]
-h, --help Print help
-V, --version Print version