The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.
Please take a moment to rate this page below. Your feedback is valuable and helps us improve our website.
Help
Add this page to your collection
Show collection (0 pages)
Suggest pages
This page may need to be 
