[Caml-list] CAML resources for mathematicians / French agrégation

["Jean-Michel Pouré - GOOZE" <jmpoure@gooze.eu>]

Dear friends,

First, I would like to congratulate the community and the INRIA for
their hard work around CAML

I am a French student preparing for competitive examination (agrégation
in Mathematics) alone (that's the trick) and I am looking for resources
around algorithm, automata, calculus and logic with examples in CAML.

As some of you ARE mathematicians, I prefer to ask on the mailing list
whether you are aware of CALM resources for French
licence/maîtrise/classe préparatoire: any book, exercice or software
that I could study in deep.

It's a pity that I missed the CAML meeting in Paris in July, too bad, I
would have loved a discussion with you. So now let's go and play with
CAML and make it at the exam.

Any information are welcome.

Kind regards,
Kellogs