These are included in the symex-ide package (See Installing Symex).
| Key | Action | Remarks |
|---|---|---|
e, E, d, M-e, C-M-e, T | Evaluate, evaluate remaining, evaluate definition, evaluate recursively, pretty evaluate, evaluate as "thunk" | T evaluates the indicated symex as if it were wrapped with parentheses, i.e. invoking it as a function, passing no arguments |
r | Go to REPL | |
R / X | Run/eval the buffer | |
C-; | Evaluate, and insert result | |
H-h | Toggle highlight | |
? | Describe / lookup documentation |