Browse thread
announce: creal 0.7
- Jean-Christophe Filliatre
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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