1cduce(1)                    General Commands Manual                   cduce(1)
2
3
4

NAME

6       cduce — The CDuce compiler/interpreter/toplevel
7

SYNOPSIS

9       cduce [  OPTIONS ...]  [--arg argument ...]
10
11       cduce [  OPTIONS ...]  [ file.cd | --stdin ]  [--arg argument ...]
12
13       cduce --compile [  OPTIONS ...]  [ file.cd ]
14
15       cduce --run [  OPTIONS ...]  [  file.cdo ...]  [--arg argument ...]
16

Description

18       See the CDuce users' manual:
19
20       http://www.cduce.org/manual_interpreter.html.
21

Reporting bugs

23       Report bugs to devel@cduce.org.
24

See also

26       A  complete  documentation, reference manual, tutorial, technical arti‐
27       cles on implementation and theoretical issues, benchmarks, source code,
28       mailing   lists   and  forums  can  be  found  on  the  CDuce  website:
29       http://www.cduce.org/.
30

Authors

32       Alain Frisch <Alain.Frisch@ens.fr>.  Small  contributions  by  Giuseppe
33       Castagna        <Giuseppe.Castagna@ens.fr>,        Julien       Demouth
34       <Julien.Demouth@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.
35
36
37
38                                                                      cduce(1)