New software on
The Caml Light / OCaml Hump includes new versions of
the GODI source-based O'Caml distribution, the Why software verification tool,
Schoca: an implementation of the Scheme language, the Extlib small standard
OCaml library, and the mod_ocaml Apache binding.
(Log in to post comments)