[Caml-list] Status of the OCaml Mathematical Framework

[Jon Harrop]

This was a promising project from the Jane St Summer Projects 2007 that
released a 0.1 but I haven't seen anything since:

http://sourceforge.net/projects/ocaml-mf/

What is the current status of this project? Is anyone using it?

--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Alexandre Chapoutot]

Dear Jon,

We are sorry to report that due to a lack of time we are not able to
pursue the developpment of this library.
Nevertheless we still hope working on it again.

Best regards
Olivier Bouissou and Alexandre Chapoutot