Man pages sections > man1 > cduce

cduce — The CDuce compiler/interpreter/toplevel

cduce(1) General Commands Manual cduce(1)

NAME

cduce — The CDuce compiler/interpreter/toplevel

SYNOPSIS

cduce [ OPTIONS ...] [--arg argument ...]
cduce [ OPTIONS ...] [ file.cd | --stdin ] [ --arg argument ...]
cduce --compile [ OPTIONS ...] [ file.cd ]
cduce --run [ OPTIONS ...] [ file.cdo ...] [ --arg argument ...]

Description

See the CDuce users' manual:
 
http://www.cduce.org/manual_interpreter.html.

Reporting bugs

Report bugs to devel@cduce.org.

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: http://www.cduce.org/.

Authors

Alain Frisch <Alain.Frisch@ens.fr>. Small contributions by Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, Julien Demouth <Julien.Demouth@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.
Debian Sid