< CDuce
The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.