* announce: creal 0.7
@ 2005-10-26 13:21 Jean-Christophe Filliatre
0 siblings, 0 replies; only message in thread
From: Jean-Christophe Filliatre @ 2005-10-26 13:21 UTC (permalink / raw)
To: caml-list
Dear caml users,
I've recently translated Hans Boehm's exact real arithmetic library from
Java to ocaml (see http://www.hpl.hp.com/personal/Hans_Boehm/crcalc/)
It is bundled with another exact real arithmetic implementation, and
the two have almost the same interface, so that it is easy to switch
from one to the other.
The library includes a small (exact!) calculator.
You can download the library from
http://www.lri.fr/~filliatr/creal.en.html
--
Jean-Christophe Filliâtre
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-10-26 13:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-10-26 13:21 announce: creal 0.7 Jean-Christophe Filliatre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).