411 REFERENCE · Wikibooks
CDuce/Toplevel
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.