1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook V3.1//EN">
<refentry id="cduce">
<refmeta>
<refentrytitle>cduce</refentrytitle>
<manvolnum>1</manvolnum>
</refmeta>
<refnamediv>
<refname>cduce</refname>
<refpurpose>The CDuce compiler/interpreter/toplevel</refpurpose>
</refnamediv>
<refsynopsisdiv>
<cmdsynopsis>
<command>cduce</command>
<arg choice="opt" rep="repeat">
<option>OPTIONS</option>
</arg>
<arg choice="opt" rep="repeat"><option>--arg <filename>argument</filename></option></arg>
</cmdsynopsis>
<cmdsynopsis>
<command>cduce</command>
<arg choice="opt" rep="repeat">
<option>OPTIONS</option>
</arg>
<arg choice="opt"><option> <filename>file.cd</filename> | --stdin </option></arg>
<arg choice="opt" rep="repeat"><option>--arg <filename>argument</filename></option></arg>
</cmdsynopsis>
<cmdsynopsis>
<command>cduce --compile</command>
<arg choice="opt" rep="repeat">
<option>OPTIONS</option>
</arg>
<arg choice="opt"> <option><filename>file.cd</filename></option> </arg>
</cmdsynopsis>
<cmdsynopsis>
<command>cduce --run</command>
<arg choice="opt" rep="repeat">
<option>OPTIONS</option>
</arg>
<arg choice="opt" rep="repeat">
<option><filename>file.cdo</filename></option>
</arg>
<arg choice="opt" rep="repeat"><option>--arg <filename>argument</filename></option></arg>
</cmdsynopsis>
</refsynopsisdiv>
<refsect1>
<title>Description</title>
<para>
See the CDuce users' manual:
<filename>http://www.cduce.org/manual_interpreter.html</filename>.
</para>
</refsect1>
<refsect1>
<title>Reporting bugs</title>
<para>
Report bugs to <email>devel@cduce.org</email>.
</para>
</refsect1>
<refsect1>
<title>See also</title>
<para>
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 <emphasis>CDuce</emphasis> website:
<filename>http://www.cduce.org/</filename>.
</para>
</refsect1>
<refsect1>
<title>Authors</title>
<para>
Alain Frisch <email><Alain.Frisch@ens.fr></email>. Small contributions by
Giuseppe Castagna <email><Giuseppe.Castagna@ens.fr></email>, Julien Demouth <email><Julien.Demouth@ens.fr></email>, and Stefano Zacchiroli <email><zack@di.ens.fr></email>.
</para>
</refsect1>
</refentry>
|