Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
e3a936f1
Commit
e3a936f1
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-09-26 08:33:00 by cvscast] Empty log message
Original author: cvscast Date: 2003-09-26 08:33:01+00:00
parent
c331dd2b
Changes
7
Hide whitespace changes
Inline
Side-by-side
web/documentation.xml
View file @
e3a936f1
...
...
@@ -12,9 +12,8 @@
We mantain three kinds of on-line documentation: a
<a
href=
"manual.html"
>
User's guide
</a>
where all CDuce constructions are
grouped by categories and explained; a
<a
href=
"tutorial.html"
>
Tutorial
</a>
where we try to give a gentle introduction to programming in CDuce; and a
<a
href=
"memento.html"
>
Quick reference
</a>
a short reference card
where each CDuce construction is briefly outlined.
where we give a gentle introduction to programming in CDuce; and a
<a
href=
"memento.html"
>
Quick reference card
</a>
where we group and briefly explain in a single pag CDuce syntax.
</p>
<p>
For more technical and theoretical information you can consult the technical paper available
<a
href=
"papers.html"
>
here
</a>
.
...
...
web/manual.xml
View file @
e3a936f1
...
...
@@ -10,7 +10,7 @@
<include
file=
"manual/namespaces.xml"
/>
<left>
<p>
This Guide describes
every
construction
of CDuce
.
This Guide describes
all CDuce's
construction
s
.
</p>
<pages-toc/>
<p>
See also:
</p>
...
...
web/tutorial/errors.xml
View file @
e3a936f1
...
...
@@ -6,8 +6,14 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the
<a
href=
"cgi-bin/cduce"
>
online interpreter
</a>
.
</p>
</left>
<box
title=
"Key concepts"
link=
"p1"
>
<b
style=
"color:#FF0080"
>
TO BE DONE
</b>
...
...
web/tutorial/first_functions.xml
View file @
e3a936f1
...
...
@@ -6,6 +6,10 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the
<a
href=
"cgi-bin/cduce"
>
online interpreter
</a>
.
</p>
</left>
<box
title=
"First functions"
link=
"t2"
>
...
...
web/tutorial/getting_started.xml
View file @
e3a936f1
...
...
@@ -3,6 +3,14 @@
<title>
Getting started
</title>
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the
<a
href=
"cgi-bin/cduce"
>
online interpreter
</a>
.
</p>
</left>
<box
title=
"Key concepts"
link=
"concepts"
>
<p>
...
...
web/tutorial/overloading.xml
View file @
e3a936f1
...
...
@@ -2,6 +2,13 @@
<page
name=
"tutorial_overloading"
>
<title>
Overloading
</title>
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the
<a
href=
"cgi-bin/cduce"
>
online interpreter
</a>
.
</p>
</left>
<box
title=
"Overloaded functions"
link=
"val"
>
...
...
web/tutorial/patterns.xml
View file @
e3a936f1
...
...
@@ -6,6 +6,10 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the
<a
href=
"cgi-bin/cduce"
>
online interpreter
</a>
.
</p>
</left>
<box
title=
"Key concepts"
link=
"p1"
>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment