CDuce/Toplevel

The CDuce toplevel interpreter is launched by the command cduce or better, by ledit cduce

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