* Status of the OCaml Mathematical Framework
@ 2010-02-18 10:13 Jon Harrop
0 siblings, 0 replies; 2+ messages in thread
From: Jon Harrop @ 2010-02-18 10:13 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Status of the OCaml Mathematical Framework
@ 2010-02-19 13:21 Alexandre Chapoutot
0 siblings, 0 replies; 2+ messages in thread
From: Alexandre Chapoutot @ 2010-02-19 13:21 UTC (permalink / raw)
To: caml-list
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
> 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
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2010-02-19 13:21 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-02-18 10:13 Status of the OCaml Mathematical Framework Jon Harrop
2010-02-19 13:21 Alexandre Chapoutot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox