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 691537EE80 for ; Sat, 16 Mar 2013 02:02:52 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of philippe.wang.lists@gmail.com) identity=pra; client-ip=74.125.82.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="philippe.wang.lists@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of philippe.wang.lists@gmail.com designates 74.125.82.173 as permitted sender) identity=mailfrom; client-ip=74.125.82.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="philippe.wang.lists@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-we0-f173.google.com) identity=helo; client-ip=74.125.82.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="postmaster@mail-we0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkACANbDQ1FKfVKtiGdsb2JhbABDxwoIFg4BAQEKCRQUBCSCKgEBBUABOAEDDAEFBQsNLiEBEgEFARwGE4gCAw8MpRKPLYUCJw2JVQEFDIxAgRmEdwONfYZ+gWCBH4pJgzgWKYFZglQ8gTc X-IPAS-Result: AkACANbDQ1FKfVKtiGdsb2JhbABDxwoIFg4BAQEKCRQUBCSCKgEBBUABOAEDDAEFBQsNLiEBEgEFARwGE4gCAw8MpRKPLYUCJw2JVQEFDIxAgRmEdwONfYZ+gWCBH4pJgzgWKYFZglQ8gTc X-IronPort-AV: E=Sophos;i="4.84,854,1355094000"; d="scan'208";a="7878730" Received: from mail-we0-f173.google.com ([74.125.82.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Mar 2013 02:02:52 +0100 Received: by mail-we0-f173.google.com with SMTP id x51so3660526wey.32 for ; Fri, 15 Mar 2013 18:02:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=g8ukYvAxzQmTUiZYCpxlwECjMOG09B8IY4owi/47kS8=; b=zqdepbgjzCXdJ+zVVsmrT+JycGcqlzMGJPxiqMLFEFJ9fNSL1Kvk9FiBQY56BgCC2i xhwDCTX+3fBrXdBqSyFDS5kwvA6qy2aKRu/Tb2CSvGJn/U7VfPrb8rxw6RPkOv2sRQn/ krLiT+4aw0B5lzJN4oogUvzQ8CVXMeIc34PzFPr3be5fT4TzfTc9YpBoCrESw4NTdPVA d3uT2KdWuni0deKUenXOFC+LREtr5bSC46vkcKBCs84E8kaPktvEWPzJJvj3FkfaXhEW 0qQbHbUnZDRwxU/wpAuyE+d+m2t1lTnCvbS7xYtYPzDqj46MN0ZL2H651d88VZJnLJak fdXg== MIME-Version: 1.0 X-Received: by 10.180.100.169 with SMTP id ez9mr6258372wib.3.1363395771732; Fri, 15 Mar 2013 18:02:51 -0700 (PDT) Sender: philippe.wang.lists@gmail.com Received: by 10.217.107.9 with HTTP; Fri, 15 Mar 2013 18:02:51 -0700 (PDT) In-Reply-To: References: <5143510E.2000009@recherche.enac.fr> <20130315180416.GB28316@voyager> Date: Sat, 16 Mar 2013 01:02:51 +0000 X-Google-Sender-Auth: Mwlg-AHRsycZAMWSStNBLWSHJUA Message-ID: From: Philippe Wang To: Ashish Agarwal Cc: Roberto Di Cosmo , Yaron Minsky , Nicolas Barnier , OCaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Yes, there should be such a page somewhere, ocaml.org seems to be the right place for that. I started getting more information about the courses: http://philippewang.info/CL/?id=where_ocaml_is_used_for_teaching_purposes (it's a draft) On Fri, Mar 15, 2013 at 8:12 PM, Ashish Agarwal wrote: > On Fri, Mar 15, 2013 at 2:04 PM, Roberto Di Cosmo > wrote: > >> We would really need a central place to keep this info well >> structured. Even a simple wiki page would do. > > > Why not the ocaml.org website. I've created an issue to keep track of the > suggestions so far: > https://github.com/ocaml/ocaml.org/issues/119 > -- Philippe Wang mail@philippewang.info