Return to the Development page

LWN.net Weekly Edition for May 24, 2012

A uTouch architecture introduction

LWN.net Weekly Edition for May 17, 2012

Tasting the Ice Cream Sandwich

Highlights from the PostgreSQL 9.2 beta

Printable page

Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

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.

(Log in to post comments)