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 59F377FEE7 for ; Tue, 25 Jul 2017 22:35:32 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mailler06.lws-hosting.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=31.207.32.248; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christophe@raffalli.eu designates 31.207.32.248 as permitted sender) identity=mailfrom; client-ip=31.207.32.248; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; 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@mailler06.lws-hosting.com) identity=helo; client-ip=31.207.32.248; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mailler06.lws-hosting.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmjXuwBLMqor4/io2MtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKPTxwZ3uMQTl6Ol3ixeRBMOAuqIC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?kHOTAn7W/ZicN/g75Grx2vvBF/zJLYbZuPOfZiZK7Qf9UXTndBUMZLUCxBB5ux?= =?us-ascii?q?YpUPD+obPOZYtJX9p1wWrRu+GwanGf/hxSVGhn/4x6I61+AhEQDb1wEnA90OsG?= =?us-ascii?q?7UrNTuNKcOVuC11KnIwivYYvNMwzj95obIfQolofGIXLJ8a9TeyVQ2Gg7Dk16e?= =?us-ascii?q?p4vlPzaP2eQMtWiW9/dgVeSui245sg1xuSKgxtkrionImI0Z0F7E9T9/zY0oJt?= =?us-ascii?q?O4UFZ2bNC5HJdKqS2WK4l7TtksTm12oio21LILtJ2jcCQXzJkqyQTTZvOEfoSS?= =?us-ascii?q?/x7vSuScLS1liH9qfr+0mgy8/lK6yuLmU8m5yFZKoTRBktnLrn0N0gbc6smDSv?= =?us-ascii?q?t54EihwyqD2gHJ5uFAL0E0jrPXK54mwr4ripoTsELDHiDslErqi6+Wc10o+umu?= =?us-ascii?q?6+v5frXrvpGRO5Juhg3gLqgjmNazDOomPgQUQWSW9uex2KXm/ULjQbVKivM2kr?= =?us-ascii?q?PesJDfPckUuq65AxVU0oY49xa/CC+m0NQGknQcNlJKYhyHj4bzNFHKJPD4DO2z?= =?us-ascii?q?jEqxkDtz3fDJIqXhAonRLnjEiLruYaxy60tYyAYqydBf5olUCq0aLfLoWk7xsc?= =?us-ascii?q?TYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5BWD7+crZu2Nf5M9uTDnKvFj6eSk?= =?us-ascii?q?xSsykFoZOK2oxoc/aXaiH/0gLV/PMlT2hdJUOmcQvxEiS/TqhRW4WDBdbnK2Xu?= =?us-ascii?q?po7TEhCZm6Cp/DS6i3ibKP1SO/H9tbezYVWRi3DX70etDcCL83YyWIL5o5nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BnCQBoqndZffggzx9dFoRYgRSOf6kNB?= =?us-ascii?q?yWIVUQTAQEBAQEBAQEBAQESAQELFAhMC0IMgWUigm2BEiECEU6KQgQMsROCJot?= =?us-ascii?q?tCgWDKItlhHOCYQWJZpVxh0+MQw1vgQUBgX6ORpVpN4EqUyeFIQEKAQEBgkd0A?= =?us-ascii?q?YRfhFUBAQE?= X-IPAS-Result: =?us-ascii?q?A0BnCQBoqndZffggzx9dFoRYgRSOf6kNByWIVUQTAQEBAQE?= =?us-ascii?q?BAQEBAQESAQELFAhMC0IMgWUigm2BEiECEU6KQgQMsROCJottCgWDKItlhHOCY?= =?us-ascii?q?QWJZpVxh0+MQw1vgQUBgX6ORpVpN4EqUyeFIQEKAQEBgkd0AYRfhFUBAQE?= X-IronPort-AV: E=Sophos;i="5.40,412,1496095200"; d="asc'?scan'208";a="284930338" Received: from mailler06.lws-hosting.com ([31.207.32.248]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jul 2017 22:35:31 +0200 Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter3.lws (Postfix) with ESMTP id 990863AECA5B for ; Tue, 25 Jul 2017 22:35:30 +0200 (CEST) Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter2.lws (Postfix) with ESMTP id 82E9D3AEC770 for ; Tue, 25 Jul 2017 22:35:30 +0200 (CEST) Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter1.lws (Postfix) with ESMTP id 720343AECA5B for ; Tue, 25 Jul 2017 22:35:29 +0200 (CEST) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mailler06.lws-hosting.com X-Spam-Level: **** X-Spam-Virus: No Received: from raffalli.eu (vps29067.lws-hosting.com [192.162.68.177]) by mailler06.lws-hosting.com (Postfix) with ESMTP id 6D96B3AEC770 for ; Tue, 25 Jul 2017 22:35:29 +0200 (CEST) Received: from localhost (vpn-b-advanced.univ-savoie.fr [193.48.127.14]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by raffalli.eu (Postfix) with ESMTPSA id 015E4352481A for ; Tue, 25 Jul 2017 22:35:28 +0200 (CEST) Date: Tue, 25 Jul 2017 22:35:27 +0200 From: Christophe Raffalli To: "caml-list@inria.fr" Message-ID: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="up2yzqtn7wbuxxys" Content-Disposition: inline User-Agent: NeoMutt/20170609 (1.8.3) X-Validation-by: christophe@raffalli.eu Subject: [Caml-list] A student feedback on OCaml --up2yzqtn7wbuxxys Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Hello, Here is a student feedback: https://lama.univ-savoie.fr/~raffalli/pics/caml-versus-python.png Cheers, Christophe --up2yzqtn7wbuxxys Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAll3q48ACgkQVXIaPfvm sfD7Mgf+M/eckKC0KtDtBjr7hVowcv2u2tvzLh4OtEYO/Ed4QHUrg4Q/n5V5Wnb7 a8YtpK5bodcm8Elf7AYEul2VLO6ZXCZC+qA2O4Ua1l7J9kWsgicHMnPzwdqR4EwS EUyzY7hL2CARSr3GDcYXJE2lv9TRe8+JFDOk5IbqDey6Gm5xHR2HBuDH1feIqYg5 mn+WJHfuLTCiIuBSWHk5iNDuRNUIUIlyXi6MXxINdXrrS6FmUuaFTUK8dtM9h8bA qfxmPqUBnVuBdzkwqNt5OxF8MRP2NRVAeDWfC/yOGy9ekn8jIlhUKOafyF9YhTXu jXwHUoaoiH/mZycEVp5s+cQ2nf2tCQ== =TtKv -----END PGP SIGNATURE----- --up2yzqtn7wbuxxys--