[
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: | 2009-01-30 (19:18) |
From: | David Teller <David.Teller@u...> |
Subject: | Re: [Caml-list] OCaml PLEAC reaches 100% |
Next step: the OCaml Batteries PLEAC :) Cheers, David (and thanks to Dave and all the contributors for their work) On Fri, 2009-01-30 at 13:40 -0500, Alexy Khrabrov wrote: > I believe we all owe a great debt of gratitude to Dave who toiled with > amazing perseverance and ingenuity for years to make it happen. I'm > going to teach my children to be as persistent as Dave! This is > nothing short of a miracle and a heroic achievement, IMHO, and a fun > to read, too, as the examples are short and you always learn something > new. Kudos to Dave! > > Cheers, > Alexy -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller La Recherche publique est liquidée. Les chercheurs sont en colère. Latest News of French Research: System being liquidated. Researchers angry.