diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/tooling.org | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/docs/tooling.org b/docs/tooling.org index e09917e..2fe4860 100644 --- a/docs/tooling.org +++ b/docs/tooling.org @@ -66,5 +66,17 @@ Install by adding the directory to =load-path= and requiring =sol= with no arguments reads one statement per line. Declarations and facts accumulate; =Query expression: ...= runs against everything accumulated so far. A rejected statement reports its -error and changes nothing. The prompt flushes eagerly so the REPL -works under comint and pipes. +error and changes nothing, so the session only ever holds an +admitted program. The prompt flushes eagerly so the REPL works under +comint and pipes. + +Commands: + +- =:load FILE= brings a program into the session. The file's queries + run once, its declarations stay. The load is atomic: a file that + fails parsing or admission changes nothing. +- =:reset= clears the session. +- =:quit= leaves; =:help= lists the commands. + +From Emacs, =C-c C-l= saves and loads the current file into the +REPL, =C-c C-e= sends the statement at point. |