Up: Index. Previous: Menu. Next: File format.
For those using a command-line system, Lambda Calculator allows the user to customize how the program begins based on its command-line parameters. To start Lambda Calculator, you would type the following at the command line.
java lambda.jar [options] [filenames]The program will import the symbols listed in any mentioned files when it begins. (The files should be listed as described on the Format page. Note that the Export... menu item automatically exports in this format.)
The options include the following. For more details about what they mean, consult the documentation about the Options menu.
-max_reductions=#
Customizes the maximum number of steps. (Default: 100.)-evaluation_order={applicative,normal,normal_slow}
Customizes the engine's evaluation order. The "normal_slow" option corresponds to "Normal Without Thunks." (Default: normal)-eta_reductions={yes,no}
Selects whether eta reductions are enabled. (Default: yes)-use_applied={yes,no}
Selects whether to use the applied lambda calculus. (Default: yes)-max_length=#
Bounds the number of characters displayed in computed lambda expressions. (Default: 100)-show_intermediate={yes,no}
Selects whether to show each individual reduction during simplification. (Default: yes)-substitute_symbols={yes,no}
Selects whether to substitute symbols for matching subexpressions when displaying an expression. (Default: yes)-vary_parentheses={yes,no}
Selects whether to intermix brackets and braces with parentheses when displaying expressions. (Default: no)-print-lambda={yes,no}
Selects whether to show lambda characters (instead of backslashes) when displaying expressions. (Default: yes) -font_size=#Defines the point size of the font used in the text fields. (Default: 14)-show_browser={yes,no}Selects whether the symbol browser should be displayed on the left side of the window. (Default: yes)Up: Index. Previous: Menu. Next: File format.