Skip to main content

Module repl

Module repl 

Source
Expand description

The REPL (docs/tooling/02_repl.md) — a port of the reference implementation’s repl.ts: an interactive session over a universe — expressions evaluated partially, session outputs and declarations, documents bound and edited with exact undo, and the command-line verbs root for root. Everything it prints goes to standard output; a scripted session (--script) prints the transcript the terminal would show, so the three implementations can be diffed.

Structs§

Repl

Constants§

COMMANDS

Functions§

needs_more
does the input so far leave an expression open (§2.9)?
run_repl