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.