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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C68E17FA80 for ; Fri, 23 Oct 2015 15:45:54 +0200 (CEST) IronPort-PHdr: 9a23:9f7eDhDPCvYKkRlsQqwyUyQJP3N1i/DPJgcQr6AfoPdwSP7yosbcNUDSrc9gkEXOFd2CrakU1qyO7eu+BCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbjssMOOKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ7djgTYVQaE+lcbV2wXlFIIX1mEv1nGWcLTvzH3s/s16SCeOcruBeQlUDCm6L9DRxrhiSNBPDk8pjL5kMt12YtAoBO6p1RWzIfOf4iRfK53carHYtoeHDseA+5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qb62xw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=agarwal1975@gmail.com; spf=Pass smtp.mailfrom=agarwal1975@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f182.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.212.182 as permitted sender) identity=mailfrom; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; 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@mail-wi0-f182.google.com) identity=helo; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wi0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B1AQClOSpWlLbUVdFehApvBqxskyAhhXwCgTUHOxEBAQEBAQEBARABAQEBBwsLCR8wgiuCBwEBAQMBEhEdARsSBgUBAwELBgUEBw0NHQICIQEBEQEFAQoSBhMSEId4AQMKCA2lBoExPjGLSYFsgnmIRAoZJwMKVoQJAQEBAQEBBAEBAQEBAQEBFQEFDotnglCBawEBTAQHgmmBRQWGBwyMSoNHB4UZhU1DgXWBbTOSOYYBEiOBFxEmgjAjgXgiNIUDgUABAQE X-IPAS-Result: A0B1AQClOSpWlLbUVdFehApvBqxskyAhhXwCgTUHOxEBAQEBAQEBARABAQEBBwsLCR8wgiuCBwEBAQMBEhEdARsSBgUBAwELBgUEBw0NHQICIQEBEQEFAQoSBhMSEId4AQMKCA2lBoExPjGLSYFsgnmIRAoZJwMKVoQJAQEBAQEBBAEBAQEBAQEBFQEFDotnglCBawEBTAQHgmmBRQWGBwyMSoNHB4UZhU1DgXWBbTOSOYYBEiOBFxEmgjAjgXgiNIUDgUABAQE X-IronPort-AV: E=Sophos;i="5.20,186,1444687200"; d="scan'208";a="184195676" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 15:45:54 +0200 Received: by wicll6 with SMTP id ll6so32139355wic.0 for ; Fri, 23 Oct 2015 06:45:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=izuqww4yMJAjwxJlr2sF70wuaGdk/hhY7Zd3qdE7c68=; b=SMLV+9Yez2UIOljyjdDvw+V4w2kIB/OVk9vn5F/5mOefkDglIuDX06ft4zFgJwa90J A4JcHsMdsk13/SF1cMt1fOU8v7NH/vVLswqi1p1bQA5aZly3vYATfUFEriNS5UsVXY1B hKxPFLrqMHGikHJJYiak+U4vySTmB0JbqnEfuPyxW/F2r4TjHTpTO7DEpcAKj5LVTaX5 KQromnVkSIhz8m9aPOIFOTPCA54NinDRh8J6mvsXGyP+1QWGeIg0icdR3lkyd4xiN1im xmL5mYP9zu61Jcw4L3jqB+CuNJNtJUHQ0CtgT1+57B/4EDdmky/2E6m1It6hZCN/KWgu 5mcA== X-Received: by 10.180.85.134 with SMTP id h6mr4961511wiz.75.1445607953421; Fri, 23 Oct 2015 06:45:53 -0700 (PDT) MIME-Version: 1.0 Received: by 10.27.32.201 with HTTP; Fri, 23 Oct 2015 06:45:33 -0700 (PDT) In-Reply-To: References: <55881AAB.7000307@mcmaster.ca> From: Ashish Agarwal Date: Fri, 23 Oct 2015 09:45:33 -0400 Message-ID: To: Jeremy Yallop Cc: Anil Madhavapeddy , Jacques Carette , Caml List Content-Type: multipart/alternative; boundary=f46d0444e9d38c5bd70522c5d402 Subject: Re: [Caml-list] BER metaocaml --f46d0444e9d38c5bd70522c5d402 Content-Type: text/plain; charset=UTF-8 Slightly related, note there is a GitHub org and mailing list formed at the first Staged HPC Shonan meeting: https://github.com/StagedHPC https://groups.google.com/forum/#!forum/stagedhpc On Thu, Oct 22, 2015 at 8:16 PM, Jeremy Yallop wrote: > 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. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --f46d0444e9d38c5bd70522c5d402 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Slightly related, note there is a GitHub org and mailing l= ist formed at the first Staged HPC Shonan meeting:


On Thu, Oct 22, 2015 at 8:16 PM, Jeremy Yallop <yallop@gmail.com><= /span> wrote:
Dear Jacques,

On 22 June 2015 at 15:28, Anil Madhavapeddy <anil@recoil.org> wrote:
> On 22 Jun 2015, at 15:24, Jacques Carette <carette@mcmaster.ca> wrote:
>> 2. Where would be a good repository of BER-metaocaml = examples?=C2=A0 [I mean, creating one that could be used as examples to lea= rn; I believe the opam repository could host "packages"?]
>
> Somewhere on GitHub in an organisation would work well. I notice that<= br> > 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.=C2=A0 Send me a mail if you'd like to add one, and I'= ll set
things up.

Kind regards,

Jeremy.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--f46d0444e9d38c5bd70522c5d402--