From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 28EC87FA80 for ; Fri, 23 Oct 2015 02:16:26 +0200 (CEST) IronPort-PHdr: 9a23:T17Z6RaGYw/NRldSxcdYG/H/LSx+4OfEezUN459isYplN5qZpcu5bnLW6fgltlLVR4KTs6sC0LqL9fi9Ejdbqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730o8CYOF4ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6m4HoYGkAfnhpBHQHd4R32T9+luy37ssJn1SKdPMmwSqo7D2eM9aBuHT3lkioCJnYI+WXTjdQ42LNSpBamvzRwxofVZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pKtJXV+c= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.215.45 as permitted sender) identity=mailfrom; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; 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-lf0-f45.google.com) identity=helo; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-lf0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CNAQBpeylWmy3XVdFehApvBrIPjB2BWR2GAAKBQAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugiuCCAEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHeAEDEqR1gTE+MYtJgWyCeYhTChknDVaECQEBAQEBAQQBAQEBAQEXAQEEDoEUilOEOwEBUAeCaYFFBZYrhRmFTYI4gW2YbRIjgRciAYJEI4FdPTSFA4FAAQEB X-IPAS-Result: A0CNAQBpeylWmy3XVdFehApvBrIPjB2BWR2GAAKBQAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugiuCCAEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHeAEDEqR1gTE+MYtJgWyCeYhTChknDVaECQEBAQEBAQQBAQEBAQEXAQEEDoEUilOEOwEBUAeCaYFFBZYrhRmFTYI4gW2YbRIjgRciAYJEI4FdPTSFA4FAAQEB X-IronPort-AV: E=Sophos;i="5.20,185,1444687200"; d="scan'208";a="151492281" Received: from mail-lf0-f45.google.com ([209.85.215.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 02:16:25 +0200 Received: by lfaz124 with SMTP id z124so66449423lfa.1 for ; Thu, 22 Oct 2015 17:16:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=5fZr5NINnm9HEmabQ4hEnafsNe7L/THyDphIexAdMmM=; b=sa1dkObx/83XBuabjRuW1UMgI1yOjLvNJnKvy9r4+1XAnfMxGbaniS2rTVScJur8uS xrvc8OnVoTUzIHK0475qn+HYkalcOKzXTOYMKgGF18BBMqYDE0Kn8grR1rXCahAUTjS+ ZdE0hbDzHijgCSdPHkBlNOGqEd1NXHUJrLINYD63bJziIIEkPjFerOrktLQozcdooGz/ f88kPJs9ijz1WqGB9/N+jaLUiCwTX5SzgoRAEQL0IUa4LGOE+oAvpGRHvceY9typwdcX 2Txz4A1xsrlKTqmNDksRMEdY/63YR7+7twSKfI52jzS9z9axaftoTRT0IpWfHZ18mkvr 4XRg== MIME-Version: 1.0 X-Received: by 10.112.147.10 with SMTP id tg10mr9974934lbb.58.1445559384614; Thu, 22 Oct 2015 17:16:24 -0700 (PDT) Received: by 10.25.24.90 with HTTP; Thu, 22 Oct 2015 17:16:24 -0700 (PDT) In-Reply-To: References: <55881AAB.7000307@mcmaster.ca> Date: Fri, 23 Oct 2015 01:16:24 +0100 Message-ID: From: Jeremy Yallop To: Anil Madhavapeddy Cc: Jacques Carette , Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] BER metaocaml Dear Jacques, On 22 June 2015 at 15:28, Anil Madhavapeddy wrote: > On 22 Jun 2015, at 15:24, Jacques Carette wrote: >> 2. Where would be a good repository of BER-metaocaml examples? [I mean, creating one that could be used as examples to learn; I believe the opam repository could host "packages"?] > > Somewhere on GitHub in an organisation would work well. I notice that > one already exists for BER MetaOCaml here: > > https://github.com/metaocaml I'd be happy to host an examples repository under the MetaOcaml GitHub organisation. Send me a mail if you'd like to add one, and I'll set things up. Kind regards, Jeremy.