Help

Getting around

Type a program in the source view, or open one from examples ▾. It compiles as you type, and an error is marked where it is.
Step it with the step controls: ▶ one step forward, ◀ one step back, ↺ back to the oldest kept step, play and pause at the chosen speed. A long run records as much as its budget allows, then offers to keep recording or to continue past its step cap.
Click a token in the source, a λ token, an assembly instruction or a machine rule, and the other views show the same point of the program.
A view's ⋯ menu has edit a copy: the term, the machine or the assembly as text you can change and run on its own. copies ▾ lists them.
share makes a link to the program, the views and where each one stands; the workspace menu (Explorer ▾ at first) switches between the Explorer, Debugger and Stage presets; and settings holds the style, palette, appearance, keymap and format-on-blur choices.

Keys in the editors

Key	Does	Where
`F12`	go to the definition of the name at the caret	the source, and machine and assembly copies
`Shift`+`F12`	go to the next reference to it	the source, and machine and assembly copies
`F2`	show what the editor knows about the name at the caret	the source, and machine and assembly copies
`Ctrl`+`'` (`⌘`+`'` on a Mac)	link the caret's position to the other views	the source editor

A λ copy's editor has no definitions or references to go to, so these three do nothing there. Everything else is the editor's default keymap, or vim's when settings sets the keymap to vim.

Keys in the views

Where	Keys
the λ term	`↑` `↓` `PgUp` `PgDn` `Home` `End` move between rows; `→` opens what is folded on the row and `←` folds it again; `Enter` opens a fold, or links the row when nothing on it is folded
the machine's rules, the assembly listing	`↑` `↓` `PgUp` `PgDn` `Home` `End` move between rows; `Enter` links the row
the state diagram, program level	the same keys move between rows; `Enter` links the row, or on a row of sub-steps shows its states; `↑` `↓` move between the runtime boxes, and `Enter` or `Space` links one
the state diagram, local level	`↑` `↓` `←` `→` move between states; `Enter` or `Space` links one
the divider between two views	`←` `→`, or `↑` `↓` when the views are stacked, resize them
the Stage layout's tabs	arrow keys, `Home` and `End` move between tabs; `Enter` or `Space` shows the view
a choice in a view's ⋯ menu or a panel's header	arrow keys move the choice — the term map's mode, the state diagram's level and edges, and the like