[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Demexp-dev] Some questions about the code.
|
From: |
David MENTRE |
|
Subject: |
Re: [Demexp-dev] Some questions about the code. |
|
Date: |
Sun, 24 Oct 2004 22:24:58 +0200 |
|
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
Serge Leblanc <address@hidden> writes:
> Concerning XML there is no problem, I need only the mli file of the
> functions ocaml<->cduce which you wishes to have. I deal with the
> writing of these.
Ok, great! Give me a few days to look at CDuce in more details and we'll
look at it together.
Yours,
d.
--
pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A