From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,NO_REAL_NAME,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id A7C7ABB84 for ; Mon, 24 Nov 2008 00:18:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8BAHdzKUnAXQImgWdsb2JhbACSSoESAQEWIrlggnw X-IronPort-AV: E=Sophos;i="4.33,654,1220220000"; d="scan'208";a="17516663" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Nov 2008 00:18:57 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mANNIvsC015585 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 24 Nov 2008 00:18:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYAAHdzKUlbeRvkmWdsb2JhbACSSoESAQEBAQEICwoHEblggnw X-IronPort-AV: E=Sophos;i="4.33,654,1220220000"; d="scan'208";a="19472435" Received: from 25.mail-out.ovh.net ([91.121.27.228]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Nov 2008 00:18:56 +0100 Received: (qmail 11383 invoked by uid 503); 23 Nov 2008 23:19:24 -0000 Received: from b7.ovh.net (HELO mail343.ha.ovh.net) (213.186.33.57) by 25.mail-out.ovh.net with SMTP; 23 Nov 2008 23:19:24 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 23 Nov 2008 23:22:57 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 23 Nov 2008 23:22:57 -0000 Received: from ip-183.net-82-216-1.versailles2.rev.numericable.fr (ip-183.net-82-216-1.versailles2.rev.numericable.fr [82.216.1.183]) by imp.ovh.net (IMP) with HTTP for ; Mon, 24 Nov 2008 00:22:57 +0100 Message-ID: <1227482577.4929e5d1bfb5f@imp.ovh.net> Date: Mon, 24 Nov 2008 00:22:57 +0100 From: forum@x9c.fr To: caml-list@inria.fr Subject: Re: [Caml-list] [ANN] Kaputt 1.0 alpha References: <8D0DD4BD-CCA5-4640-84E4-5F14F0804035@x9c.fr> <20081123213044.GA32214@usha.takhisis.invalid> <1227482073.4929e3d999bca@imp.ovh.net> In-Reply-To: <1227482073.4929e3d999bca@imp.ovh.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.6 X-Originating-IP: 82.216.1.183 X-Ovh-Tracer-Id: 16560017306193756960 X-Miltered: at discorde with ID 4929E4E1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 0100,:01 ocaml:01 wikipedia:01 wiki:01 1.0:98 23,:98 clones:98 clones:98 wrote:01 caml-list:01 caml-list:01 languages:03 stefano:05 Selon forum@x9c.fr: > Selon Stefano Zacchiroli : > > > On Sun, Nov 23, 2008 at 09:57:37PM +0100, barista@x9c.fr wrote: > > Clones of QuickCheck exist for various languages > (caml-list@inria.fr) but not for OCaml Hum, copy/paste mistake, the URL for QuickCheck clones is: http://en.wikipedia.org/wiki/Quickcheck