<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><title>CDuce: CDuce: documentation</title><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/><link href="cduce.css" type="text/css" rel="stylesheet"/></head><body style="margin: 0; padding : 0;"><table width="100%" border="0" cellspacing="10" cellpadding="0"><tr><td valign="top" style="width:20%;" align="left"><div class="leftbar" id="leftbar"><div class="smallbox"><p> This is the main entry point to CDuce documentation. </p><ul><li><a href="tutorial.html">Tutorial</a></li><li><a href="manual.html">User's manual</a></li><li><a href="memento.html">Quick reference</a></li><li><a href="sitemap.html">Sitemap</a></li></ul></div></div></td><td><h1>CDuce: documentation</h1><div class="mainpanel"><div><h2><a name="src">Available documents</a></h2><p> 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 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 page CDuce syntax. </p></div><div class="meta"><p><a href="sitemap.html">Site map</a></p></div></div></td></tr></table></body></html>
