From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 4AA1BBC57 for ; Fri, 6 Aug 2010 15:51:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvACAJuwW0zRVdW0kGdsb2JhbACgNggVAQEBAQkJDAcRAx+paYkLghCGLC6IVAEBAwWFNQSEIIUX X-IronPort-AV: E=Sophos;i="4.55,328,1278280800"; d="scan'208";a="67356226" Received: from mail-yx0-f180.google.com ([209.85.213.180]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Aug 2010 15:50:59 +0200 Received: by yxm8 with SMTP id 8so3443969yxm.39 for ; Fri, 06 Aug 2010 06:50:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=/sl2C+uw4m04PUvl6Gdb3Reo10aG+LusY8bPiOvkT5g=; b=bLiBQ7osJqgaPAIStVFdZLY8d7Un68tc1b8eOY81xpbc4pYfZxZi62K/te1F/ezux2 QztFLIdxl5PU84+AWkQit13kck0fidatjLGElj1gZKBMu1g3No0No7L7HlHHH+QS2HwN Xf6Jr8x6+BmWg/2o9K8G8zR9CRKCGxhTiiN1c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=QXGPogITQNqRsPWdKjaBVWozroPCX/2QCIOLDznpzZ5xo5dzXBQX3wiDgTMHKWbX9r Hj129WlrPxuqemtEhcEqKhoAoNEjJvOiERnLSNAUwQorH2nC6iSaVXRSes5DPUVGBDgY 8zVoU7GVr3Gikpu6ezqgjv4dtTPetWTgpe6c4= MIME-Version: 1.0 Received: by 10.101.18.16 with SMTP id v16mr7413763ani.160.1281102657874; Fri, 06 Aug 2010 06:50:57 -0700 (PDT) Received: by 10.231.158.77 with HTTP; Fri, 6 Aug 2010 06:50:57 -0700 (PDT) In-Reply-To: References: Date: Fri, 6 Aug 2010 16:50:57 +0300 Message-ID: Subject: Re: [Caml-list] interest in a much simpler, but modern, Caml? From: Eray Ozkural To: Jeremy Bem Cc: caml-list List Content-Type: multipart/alternative; boundary=005045017050d7f8de048d27f416 X-Spam: no; 0.00; eray:01 ozkural:01 eray:01 wrote:01 wrote:01 experimental:01 experimental:01 caml-list:01 theorem:02 theorem:02 caml:02 namely:02 namely:02 programming:03 programming:03 --005045017050d7f8de048d27f416 Content-Type: text/plain; charset=ISO-8859-1 On Fri, Aug 6, 2010 at 7:04 AM, Jeremy Bem wrote: > > My plans now call for adding features to replace the ones I've removed, > namely experimental ones related to assisted theorem proving and inductive > programming. > Dear Jeremy, What have you got on inductive programming? Best, -- Eray --005045017050d7f8de048d27f416 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Fri, Aug 6, 2010 at 7:04 AM, Jeremy Bem <jeremy1@gmail.com= > wrote:
My plans now call for adding features to replace the ones I've rem= oved, namely experimental ones related to assisted theorem proving and indu= ctive programming.=A0

Dear Jeremy,

What have you got on inductive programming?
<= br>
Best,

--
Eray
--005045017050d7f8de048d27f416--