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
caa15dd4
Commit
caa15dd4
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-07-05 23:02:32 by cvscast] Empty log message
Original author: cvscast Date: 2003-07-05 23:03:44+00:00
parent
d1c9c55c
Changes
4
Hide whitespace changes
Inline
Side-by-side
web/download.xml
View file @
caa15dd4
...
...
@@ -38,7 +38,7 @@ A preliminary debian/unstable package of CDuce is available <a href="download/de
<section
title=
"Red Hat Packages"
>
<p>
The following packages where compiled and tested on
a
RedHat 9
</p>
<p>
The following packages where compiled and tested on
Linux
RedHat 9
</p>
<ul>
<li><a
href=
"download/redhat/cduce-0.1.0-1.i386.rpm"
>
cduce-0.1.0-1.i386.rpm
</a></li>
<li><a
href=
"download/redhat/cduce-0.1.0-1.src.rpm"
>
cduce-0.1.0-1.src.rpm
</a></li>
...
...
web/examples.xml
View file @
caa15dd4
...
...
@@ -19,6 +19,7 @@ two mutually recursive functions in order to type-check
the transformation. Here, two constraints
in the (highlighted) function interface
can express precisely the behaviour of the function.
A detailed explanation of the code can be found
<a
href=
"tutorial_overloading.html#canonical"
>
here
</a>
.
</p>
<sample>
<include-verbatim
file=
"overloading.cd"
/>
...
...
web/site.cd
View file @
caa15dd4
...
...
@@ -136,7 +136,8 @@ let link_to (Page -> Xa)
let box (x : Flow) : Block =
<table
cellpadding=
"2"
style=
"font-size:11px ; font-family:arial,sans-serif; border: solid 2px black; background: #ffffff"
width=
"100%"
>
style=
"font-size:11px ; font-family:arial,sans-serif;
border: solid 2px black; background: #ffffff"
width=
"100%"
>
[
<tr>
[
<td>
x] ]
let meta (x : Flow) : Block =
...
...
@@ -261,7 +262,9 @@ match page with
let left =
<td
valign=
"top"
align=
"left"
>
[
<table
cellpadding=
"13"
cellspacing=
"2"
width=
"200"
style=
"font-size:80%; border: 1px dashed black; background: #ffcd72"
>
width=
"200"
style=
"font-size:80%; border: 1px dashed black;
background: #ffcd72"
>
(map left with x ->
<tr>
[
<td>
[ (box (content x)) ] ]) ] in
let dpath : Inlines = transform path with
...
...
@@ -273,13 +276,15 @@ match page with
let next = match next with [] -> []
|
<page
name=
n
>
[
<title>
t; _ ] ->
[
<a
href=
(url_of_name
n
)
>
[
<img
width=
"16"
height=
"16"
class=
"icon"
alt=
"Next page"
src=
"img/right.gif"
>
[]
<img
width=
"16"
height=
"16"
class=
"icon"
alt=
"Next page"
src=
"img/right.gif"
>
[]
' ' !t
] ] in
let prev = match prev with [] -> []
|
<page
name=
n
>
[
<title>
t; _ ] ->
[
<a
href=
(url_of_name
n
)
>
[
<img
width=
"16"
height=
"16"
class=
"icon"
alt=
"Previous page"
src=
"img/left.gif"
>
[]
<img
width=
"16"
height=
"16"
class=
"icon"
alt=
"Previous page"
src=
"img/left.gif"
>
[]
' ' !t
] ] in
let navig =
...
...
web/tutorial/overloading.xml
View file @
caa15dd4
...
...
@@ -75,7 +75,7 @@ code.
<section
title=
"Complex example"
>
<a
name=
"canonical"
/>
<p>
Let us examine a more complex example. Recall the types used to represent persons
that we defined in Section "
<a
href=
"tutorial_getting_started#type_decl"
>
Getting started
</a>
" that for the purpose of the example we can simplify as follows:
...
...
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