From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeremy1@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 4DC82BC57
	for <caml-list@yquem.inria.fr>; Sun, 29 Aug 2010 07:42:14 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkMCAAaQeUzRVdY0kGdsb2JhbACTOIUYiAUIFQEBAQEJCQwHEQMfnnuJJ4IThQ4uiFQBAQMFhTIEigk
X-IronPort-AV: E=Sophos;i="4.56,286,1280700000"; 
   d="scan'208";a="56139063"
Received: from mail-bw0-f52.google.com ([209.85.214.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Aug 2010 07:42:13 +0200
Received: by bwz5 with SMTP id 5so3644506bwz.39
        for <caml-list@yquem.inria.fr>; Sat, 28 Aug 2010 22:42:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:received:date:message-id
         :subject:from:to:content-type;
        bh=g+sp9w+E2OY/kLGtVrkMHyRKBGfcG86yZWtDgfdyURI=;
        b=bzcUIWDpKxv+CJKnZzE685oDO1S9N037XFOFyzql6kUtCiRo9DpCmqfsp3n+U32B5k
         MPwH/dmbOuOW6LRuR4bo90slJ9woBSZJhVIv3mUq+ffpVx6hcmwKoj8MpxLV6RNCfYRq
         xRBO3f/GLG7TeNokOUfuhc2nQOolT46gxYP+E=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=KU7Vt2cpYs6KRJva8QIk4b7gSosA0l2aCcPd3PIehRfb28ouMcmXpJ+tWdYHUz6dzx
         fOI7CyDEGb3MX7J7vZemRIypwpQDfcI23vEIZMxLpwayt6uooLG2fUitfjAOOhe55Wra
         VaLY66Q8erQtDrYD12BMLLrTKQJyo/w+F4Y7A=
MIME-Version: 1.0
Received: by 10.204.6.75 with SMTP id 11mr2008417bky.95.1283060532910; Sat, 28
 Aug 2010 22:42:12 -0700 (PDT)
Received: by 10.204.54.68 with HTTP; Sat, 28 Aug 2010 22:42:12 -0700 (PDT)
Date: Sun, 29 Aug 2010 01:42:12 -0400
Message-ID: <AANLkTin9S-d7jy1byqh_5wy69pVss_vxaiutTz7RSryO@mail.gmail.com>
Subject: Llama Light: a simple implementation of Caml
From: Jeremy Bem <jeremy1@gmail.com>
To: caml-list List <caml-list@yquem.inria.fr>
Content-Type: multipart/alternative; boundary=000e0cd1d1244a1aa2048eefcfec
X-Spam: no; 0.00; typechecker:01 ocaml:01 typechecker:01 ocaml:01 caml-list:01 caml-list:01 caml:02 caml:02 let:03 let:03 modify:05 modify:05 derived:05 derived:05 inria:06 

--000e0cd1d1244a1aa2048eefcfec
Content-Type: text/plain; charset=ISO-8859-1

Dear caml-list,

I'm pleased to announce Llama Light, an implementation of the core Caml
language.  It features a typechecker that is small enough to read through
and grasp as a whole, thereby making it easy to modify and extend.

Llama Light is derived from Caml Light and OCaml.  I'm grateful to the
developers at INRIA for allowing derivative works to be created.

The system is available for download at http://llamalabs.org/light.html.
 All feedback is greatly appreciated (even if it's just to let me know that
you tried it out).

Thanks!
-Jeremy

--000e0cd1d1244a1aa2048eefcfec
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div>Dear caml-list,</div><div><br></div><div>I&#39;m pleased to announce L=
lama Light, an implementation of the core Caml language. =A0It features a t=
ypechecker that is small enough to read through and grasp as a whole, there=
by making it easy to modify and extend.</div>

<div><br></div><div>Llama Light is derived from Caml Light and OCaml. =A0I&=
#39;m grateful to the developers at INRIA for allowing derivative works to =
be created.</div><div><br></div><div>The system is available for download a=
t <a href=3D"http://llamalabs.org/light.html" target=3D"_blank">http://llam=
alabs.org/light.html</a>. =A0All feedback is greatly appreciated (even if i=
t&#39;s just to let me know that you tried it out).</div>

<div><br></div><div>Thanks!</div><div>-Jeremy</div>

--000e0cd1d1244a1aa2048eefcfec--