Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
announce: creal 0.7
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <filliatr@l...>
Subject: announce: creal 0.7

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