From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <asai@is.ocha.ac.jp>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B88C97FB5D
	for <caml-list@sympa.inria.fr>; Thu,  1 Jan 2015 13:43:16 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  asai@is.ocha.ac.jp) identity=pra; client-ip=133.65.64.10;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="asai@is.ocha.ac.jp";
  x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  asai@is.ocha.ac.jp designates 133.65.64.10 as permitted
  sender) identity=mailfrom; client-ip=133.65.64.10;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="asai@is.ocha.ac.jp";
  x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@web.is.ocha.ac.jp) identity=helo;
  client-ip=133.65.64.10;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="asai@is.ocha.ac.jp";
  x-sender="postmaster@web.is.ocha.ac.jp";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlUAAHs/pVSFQUAKl2dsb2JhbABcFoNCWcYvhnoWAQEBAQERAQEBAQEIFgdChCUoOUI0BSABBQFXiAkBBQihUIMnPjGbXIQgCpAKgwCBEwWJSoJ0hRaFMwGBPY5JNYEVgWcBC4IsYYJCAQEB
X-IPAS-Result: AlUAAHs/pVSFQUAKl2dsb2JhbABcFoNCWcYvhnoWAQEBAQERAQEBAQEIFgdChCUoOUI0BSABBQFXiAkBBQihUIMnPjGbXIQgCpAKgwCBEwWJSoJ0hRaFMwGBPY5JNYEVgWcBC4IsYYJCAQEB
X-IronPort-AV: E=Sophos;i="5.07,679,1413237600"; 
   d="scan'208";a="115353326"
Received: from web.is.ocha.ac.jp ([133.65.64.10])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Jan 2015 13:43:14 +0100
Received: from mail-pa0-f51.google.com (mail-pa0-f51.google.com [209.85.220.51])
	by web.is.ocha.ac.jp (Postfix) with ESMTP id 146159968E6
	for <caml-list@inria.fr>; Thu,  1 Jan 2015 21:43:11 +0900 (JST)
Received: by mail-pa0-f51.google.com with SMTP id ey11so22792118pad.10
        for <caml-list@inria.fr>; Thu, 01 Jan 2015 04:43:10 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:date:from:to:subject:message-id:mime-version
         :content-type:content-disposition:user-agent;
        bh=yGw15E1PL0Jp0i0+8uRVc6lfRt2n/4JoCdr8/XqTLBs=;
        b=LdxaCfKqqVZN5OdgcFnXtruZ/3uU059MabIUDTA3dTHbOwFVsSU2RIastjhCUKao7W
         iNL7kdVZY+REBWRYnt4xk73s/cuf+6ES8I0OfJQIJRMHqmy0ixwGxoC7kJxD7qJkDURC
         8+VbZnAmQH/Td3IGohD51H9y5L4UtGqtCh2nFEsJkKlod5Da6PR7iEtQ3e75V2AiR+zL
         cbajD9YKa2AZ1pqRR/pJn7JBvxN4jfRDG61GCisdUTQjcG6hPA1c8eFjbote0hgOhWYJ
         EjqxuQRp3jlNJgU211YP0GZ2KXUmOc+OgQG0Aadat2XZukjxFKHp5TNBcJcmFgfIGBVq
         rB6w==
X-Gm-Message-State: ALoCoQnScbu7AS7nRiM5l96D5SKmAVYLXOOVQhIKLthW5t+U371cO0yrE3D1w2AnPF0wwMkVcPTdRJLE4nIoV/CvXiaJqhmo+WwEOUnTjKHpV0BBrdfwZhn6FvnSsyromUROHVZr15l0
X-Received: by 10.66.249.99 with SMTP id yt3mr101891967pac.59.1420116190625;
        Thu, 01 Jan 2015 04:43:10 -0800 (PST)
X-Received: by 10.66.249.99 with SMTP id yt3mr101891945pac.59.1420116190499;
        Thu, 01 Jan 2015 04:43:10 -0800 (PST)
Received: from localhost (cb8ae2-049.dynamic.tiki.ne.jp. [203.138.226.49])
        by mx.google.com with ESMTPSA id gd1sm43766395pbd.67.2015.01.01.04.43.09
        (version=TLSv1.2 cipher=RC4-SHA bits=128/128);
        Thu, 01 Jan 2015 04:43:09 -0800 (PST)
Date: Thu, 1 Jan 2015 21:43:03 +0900
From: Kenichi Asai <asai@is.ocha.ac.jp>
To: caml-list@inria.fr
Message-ID: <20150101124303.GA57039@pllab.is.ocha.ac.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: [Caml-list] Universe Library for OCaml

A happy new year!

I am happy to announce that the Universe Library for OCaml is now
public at:

http://pllab.is.ocha.ac.jp/~asai/Universe/

It is ported from Racket universe teachpack and enables us to write
interactive games easily.  I used it in my class this fall, where
students enjoyed creating many fun communicating games.  Any comments,
bug reports, etc., are welcome.  Enjoy!

Sincerely,

-- 
Kenichi Asai