CDuce/Toplevel

From Wikibooks, open books for an open world
Jump to: navigation, 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=1489451"