CDuce/Toplevel

From Wikibooks, open books for an open world
Jump to navigation Jump to search

The CDuce toplevel interpreter is launched by the command

cduce

or better, by

ledit cduce

The directive #quit;; permits to exit the interpreter.

Retrieved from "https://en.wikibooks.org/w/index.php?title=CDuce/Toplevel&oldid=3228623"