The Caml Light / OCaml Hump

[Posted January 22, 2003 by cook]

This week, the new software on The Caml Light / OCaml Hump includes the HOL Light theorem prover, ChartPak for dynamically generating business graphics on the web, and Introduzione alla programmazione funzionale, an introduction to functional programming.