cduce(1) The CDuce compiler/interpreter/toplevel


cduce [ OPTIONS ...] [--arg argument ...]

cduce [ OPTIONS ...] [ | --stdin ] [--arg argument ...]

cduce --compile [ OPTIONS ...] [ ]

cduce --run [ OPTIONS ...] [ file.cdo ...] [--arg argument ...]


See the CDuce users' manual:

Reporting bugs

Report bugs to [email protected].

See also

A complete documentation, reference manual, tutorial, technical articles on implementation and theoretical issues, benchmarks, source code, mailing lists and forums can be found on the CDuce website:


Alain Frisch <[email protected]>. Small contributions by Giuseppe Castagna <[email protected]>, Julien Demouth <[email protected]>, and Stefano Zacchiroli <[email protected]>.