| 63 |
our <local href="papers">technical papers</local>. |
our <local href="papers">technical papers</local>. |
| 64 |
</p> |
</p> |
| 65 |
|
|
| 66 |
|
<section title="Getting more information"> |
| 67 |
|
|
| 68 |
|
<p> |
| 69 |
|
If you want more information about CDuce, or if you want to join the |
| 70 |
|
CDuce users mailing list, you can send a mail to |
| 71 |
|
<tt>info_at_cduce.org</tt> (replace <tt>_at_</tt> with <tt>@</tt>). |
| 72 |
|
</p> |
| 73 |
|
|
| 74 |
|
</section> |
| 75 |
|
|
| 76 |
<section title="Online running prototype"> |
<section title="Online running prototype"> |
| 77 |
<p> To get a feeling of CDuce, |
<p> To get a feeling of CDuce, |
| 78 |
you can play with the <local href="proto">online prototype</local>, |
you can play with the <local href="proto">online prototype</local>, |