CDuce/Toplevel
< CDuce
Jump to navigation
Jump to search
The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.
The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.