Commit d5ec0424 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-09-26 09:33:30 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-26 09:33:30+00:00
parent d25e51f7
......@@ -37,7 +37,7 @@ file. Note that only the arguments after
CDuce program(s).
</li>
<li> The option <code>--dump %%filename%%</code> is equivlant
<li> The option <code>--dump %%filename%%</code> is equivalent
to <code>--load %%filename%% --save %%filename%%</code>. </li>
<li> The options <code>-v</code> and <code>--version</code> make the
......@@ -62,7 +62,7 @@ input as a input script.</li>
<p>
CDuce can also be used for writing using scripts. As usual it suffices to start
the script file by <code> #!%%install_dir%%/cduce</code> to call in a batch way
the cduce interpreter. Here is an example of a script file that prints all the
the CDuce interpreter. Here is an example of a script file that prints all the
titles of the filters of an Evolution mail client.
</p>
......@@ -94,7 +94,7 @@ phrases:
<ul>
<li>Types declarations <code>type %%T%% = %%t%%</code>. Adjacent types declarations are mutually
recursives, e.g.:
recursive, e.g.:
<sample><![CDATA[
type T = <a>[ S* ]
type S = <b>[ T ]
......@@ -102,7 +102,7 @@ type S = <b>[ T ]
</li>
<li>Function declarations <code>let %%f%% %%...%%</code>.
Adjacent function declarations are mutually recursives, e.g.:
Adjacent function declarations are mutually recursive, e.g.:
<sample><![CDATA[
let f (x : Int) : Int = g x
let g (x : Int) : Int = x + 1
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment