Reply to comment

Automatic Ocaml Types for Cduce

Fri, 07/13/2007 - 16:33 — abate

A minor limitation of cduce is that all ocaml types must be declared in cduce. This is cumbersome when trying to use an ocaml library from cduce.

I've created a small patch to cduce to allow to use ocaml types directly in a cduce program.

The patch is available in my personal darcs repository and pending to be integrated in the main tree.

and the tree can be retrived via darcs with

darcs get http://web-cduce.pps.jussieu.fr/darcs/cduce

Your name:

E-mail:

The content of this field is kept private and will not be shown publicly.

Homepage:

Subject:

Comment: *

Input format

Filtered HTML

Web page addresses and e-mail addresses turn into links automatically.
Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
Lines and paragraphs break automatically.

blog

You can use Mediawiki syntax. It is possible that not all formatting options are supported at the moment.
Links to other pages: [[Page Title]] or [[path/to/page|Title]].
External links: http://example.com or [http://example.com some link title].
Interwiki links: [[site:Page Title]].
You can use the following interwiki links: path, gdo, wp
Images are included with [[Image:name]]. (wikipedia help)
You can enable syntax highlighting of source code with the following tags: <code>, <blockcode>. The supported tag styles are: <foo>, [foo].

CAPTCHA

This question is for testing whether you are a human visitor and to prevent automated spam submissions.

Enter the code above: *

Enter the code without spaces and pay attention to upper/lower case.