From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <blg59@cornell.edu>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 32B047FBC5
	for <caml-list@sympa.inria.fr>; Sun, 11 Jan 2015 00:33:23 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  blg59@cornell.edu) identity=pra; client-ip=209.85.215.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="blg59@cornell.edu";
  x-sender="blg59@cornell.edu"; x-conformance=sidf_compatible
Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain
  of blg59@cornell.edu does not assert whether or not
  209.85.215.47 is permitted sender) identity=mailfrom;
  client-ip=209.85.215.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="blg59@cornell.edu";
  x-sender="blg59@cornell.edu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-la0-f47.google.com) identity=helo;
  client-ip=209.85.215.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="blg59@cornell.edu";
  x-sender="postmaster@mail-la0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlQEAMq1sVTRVdcvlGdsb2JhbABbg1hYBIMBiRmnKQEGkkKFcQJ/B0MBAQEBAREBAQEBBwsLCRIwhAMKAQEDARIRVgULCwMBBzcCAiEBEgEFARwGEyKHdgMJCA2qAz4xiy6POg1EAYMVAQEBAQEFAQEBAQEBGAQKhXuHSoImBAeCaIFBBYlliB2EBIFEjBeEFxIjgRWELiAxAYJCAQEB
X-IPAS-Result: AlQEAMq1sVTRVdcvlGdsb2JhbABbg1hYBIMBiRmnKQEGkkKFcQJ/B0MBAQEBAREBAQEBBwsLCRIwhAMKAQEDARIRVgULCwMBBzcCAiEBEgEFARwGEyKHdgMJCA2qAz4xiy6POg1EAYMVAQEBAQEFAQEBAQEBGAQKhXuHSoImBAeCaIFBBYlliB2EBIFEjBeEFxIjgRWELiAxAYJCAQEB
X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; 
   d="scan'208";a="95976402"
Received: from mail-la0-f47.google.com ([209.85.215.47])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Jan 2015 00:33:22 +0100
Received: by mail-la0-f47.google.com with SMTP id hz20so19475811lab.6
        for <caml-list@inria.fr>; Sat, 10 Jan 2015 15:33:21 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:cc:content-type;
        bh=ie6WQEUB15bcgpkLz0ahYNgRv0MUQAya5WbikkiMOlI=;
        b=RmHvuR/zqLJyzFU8AWU4313o+IMUA0mPJ1wpDDIdMZxGKP2Ku9yRfFHbg2oCnvJY3+
         8YtmztipK7CrwSLfz2go3IOdkn0KVSLS0Sa9HWicdcOjc46cyKtYcTviDBllclN8+ozI
         Nh2THc8C1NTLJcNl35ae0yJq03lgJT3DUN2c7MqsDQVWLZb6ITBbmPsrJzJD3jxfMzuw
         YEvNEl2sgjIPT0c1zbhUGmkvoxpUJKGynu/Pp9Vg0LpuZotBXCyBQB2ryjPj034xM5E5
         DAiRlXJfz8Ew8hRoRi1VxZT7mFKDsJ6FHF//jtn3o2iT9ZeBMeTrtAfJwTbC+iqmNz9W
         FTJg==
X-Gm-Message-State: ALoCoQm7it5wyQ9HG8rSWVbs68dI3UUjLynf6ar3ZsjfMhszOX9zzDHJNJo6rISt7IDcfELv6gsQ
X-Received: by 10.112.235.67 with SMTP id uk3mr29303504lbc.48.1420932801107;
 Sat, 10 Jan 2015 15:33:21 -0800 (PST)
MIME-Version: 1.0
Received: by 10.112.255.37 with HTTP; Sat, 10 Jan 2015 15:33:00 -0800 (PST)
In-Reply-To: <CAK7rcp9HeXz3Lbdy0to4Zxd+8TvCU81V-SZsS3EquPaDPM6wDg@mail.gmail.com>
References: <CA+rXZpb4XEg=qWMwhTY0svJht4=qH40dL2O=Tae+rAP_VYUzyg@mail.gmail.com>
 <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> <CA+rXZpYCv5AokOfN+_n=t1MxNTbGOP8zx3v4ZvWL2Ci+eOWN-w@mail.gmail.com>
 <CAK7rcp9HeXz3Lbdy0to4Zxd+8TvCU81V-SZsS3EquPaDPM6wDg@mail.gmail.com>
From: Benjamin Greenman <blg59@cornell.edu>
Date: Sat, 10 Jan 2015 18:33:00 -0500
Message-ID: <CAAtAoRr7unh+RjdVn0L1MUGytJxuwLNVdtf-5n_x0uTAkP7FrQ@mail.gmail.com>
To: Kenneth Adam Miller <kennethadammiller@gmail.com>
Cc: caml users <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a11c3135edc249b050c54b2c9
Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI

--001a11c3135edc249b050c54b2c9
Content-Type: text/plain; charset=UTF-8

On Sat, Jan 10, 2015 at 1:44 PM, Kenneth Adam Miller <
kennethadammiller@gmail.com> wrote:

> What's wrong with oasis and it's build system?


https://sympa.inria.fr/sympa/arc/caml-list/2014-09/msg00132.html

--001a11c3135edc249b050c54b2c9
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Sat, Jan 10, 2015 at 1:44 PM, Kenneth Adam Miller <span dir=3D"ltr">&lt;=
<a href=3D"mailto:kennethadammiller@gmail.com" target=3D"_blank">kennethada=
mmiller@gmail.com</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote=
" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color=
:rgb(204,204,204);border-left-style:solid;padding-left:1ex">What&#39;s wron=
g with oasis and it&#39;s build system?</blockquote></div><br><a href=3D"ht=
tps://sympa.inria.fr/sympa/arc/caml-list/2014-09/msg00132.html">https://sym=
pa.inria.fr/sympa/arc/caml-list/2014-09/msg00132.html</a><br></div></div>

--001a11c3135edc249b050c54b2c9--