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 3E14E7EF08 for ; Mon, 22 Jun 2015 16:24:55 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=pra; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=mailfrom; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@pinegw02.uts.mcmaster.ca) identity=helo; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="postmaster@pinegw02.uts.mcmaster.ca"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DfAQBnGohVbRmAcYJch2GsX5d5AQEBAQEBEg0GBQkJIS6ETBU2CjYCBRYLAgsDAgECAVgIAQGIK6QOj1+WNIEhj0eCUoFDBZN9lACPf4EJZoJMgxsBAQE X-IPAS-Result: A0DfAQBnGohVbRmAcYJch2GsX5d5AQEBAQEBEg0GBQkJIS6ETBU2CjYCBRYLAgsDAgECAVgIAQGIK6QOj1+WNIEhj0eCUoFDBZN9lACPf4EJZoJMgxsBAQE X-IronPort-AV: E=Sophos;i="5.13,659,1427752800"; d="scan'208";a="137345618" Received: from pinegw02.uts.mcmaster.ca ([130.113.128.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jun 2015 16:24:52 +0200 Received: from pinegw04.uts.mcmaster.ca (pinegw04.UTS.McMaster.CA [130.113.128.58]) by pinegw02.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id t5MEOop3030871 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 22 Jun 2015 10:24:50 -0400 Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by pinegw04.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id t5MEOobH005592 for ; Mon, 22 Jun 2015 10:24:50 -0400 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca [130.113.68.27] verified) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 563703316 for caml-list@inria.fr; Mon, 22 Jun 2015 10:24:50 -0400 Message-ID: <55881AAB.7000307@mcmaster.ca> Date: Mon, 22 Jun 2015 10:24:43 -0400 From: Jacques Carette User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 6.0.3.2322014, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2015.6.22.141817 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' HTML_00_01 0.05, HTML_00_10 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_200_299 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, NO_URI_FOUND 0, NO_URI_HTTPS 0, SMALL_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_FROM 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __MOZILLA_USER_AGENT 0, __SANE_MSGID 0, __SUBJ_ALPHA_END 0, __TO_NO_NAME 0, __USER_AGENT 0' X-Spam-Flag: NO Subject: [Caml-list] BER metaocaml Two questions: 1. Would it be worthwhile to start a mailing list for BER-metaocaml users? 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"?] Jacques