Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml PLEAC reaches 100%
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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.