From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 894945D5 for ; Sat, 19 Feb 2022 17:19:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,381,1635199200"; d="scan'208";a="22223186" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Feb 2022 18:19:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A2874E0380; Sat, 19 Feb 2022 18:19:21 +0100 (CET) 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 AEC94E037F for ; Sat, 19 Feb 2022 18:19:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lubegasimon73@gmail.com; spf=Pass smtp.mailfrom=lubegasimon73@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f45.google.com IronPort-SDR: AV7Don2RC1wrsAEeoN14l9OkQy2OyNmMThEYmaumpnKpR4tHLveHLInDauiqkj1zOqpI0K4VGC icejJ54IFpjaxq2vMBEY4vtFwii1NiXAUgcyAyBj6jOqL/1BKqkAHoPtNN+SYASSui/CT6N/4h 0JwOXQ3KruDZiSY+7u8WUXSB8XSxZCf/ZTpBjzdDnxiwiKPtKExbktCKBngdiJQApBLHQvlaDa kBkapYHGVYg5ImjvLXhPRGa2I/CWJIKIGG+dsoXevASkKEw3CuSoOvpYXO6IDbmbXVxSWqoV8H ohaj0Ob4EnZR+uzG7riy7NhZ X-IPAS-Result: =?us-ascii?q?A0AJAwCtJRFify3dVdFaHgEBCxIMQIQCflcrBE2EVI0Ug?= =?us-ascii?q?V6CKIp1MIEChhCMHwsBAwELAQE1CgIEAQGCEoJ1AoQFAh0HAQQ0EwECBAEBA?= =?us-ascii?q?QEDAgMBAQEBAQEDAQEFAQEBAgEBAgMEARMBAQ0LCQcICgcODgVgAWEDAUSBT?= =?us-ascii?q?4F0CwMxDYI1KQGDYwEBAQECARIRHQEbHQEDAQsGBQsBDAICGA4CAiMRAQUBA?= =?us-ascii?q?hoGExoIgmIBgmQBAw0fAgcInwaBBD2KOHqBFQUXgQGCCQaCXIFtChkoDWcDg?= =?us-ascii?q?VgCAQYJAQh+LIRHgUoTQoddJ4IpgTwMEII3MD6ERRWDAzeCLgSTYoF2FgKDT?= =?us-ascii?q?QEBoSGceGIpCQEGAlaBSHMVI4E/iUWUXgUug2CST5FjkSKENnWKRoJMlChsA?= =?us-ascii?q?YQiAgQBAQEDBwYQIxKBQ4F+cFAqAQZtgUs+EAECAQEBDQECAQEDAQIBAgkBA?= =?us-ascii?q?QKOHTeDOoRZhgg+NDgCBgEKAQEDCYVGjCUBAQ?= IronPort-PHdr: A9a23:BAI4mRy2InDF0a3XCzKsw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZta8m3QKBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdq72/qx9pHNbAlFgDqwaq5uI RurqgncqtMYipZ4JKYrzRvJrHpIe+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3V qdYAyg8M2A0/8Lkqx/ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHJsD9U6w6Viq+4 KdqUB/oiTkINzgl8GHMl8d8iLtXrA+9qxBjxoLZZpyeOvhjcaPHZd4VWWVOUNtRWSNDDI2yY IgBD+QfM+hftIT9u0IOrR6iCQmsGO/iyDlFjWL2060g1OQhFBnL3Ag9H90VrnvUo8/6P7oJU eC0yanIyjPDZO5R1Df59YjHaQ4uof6WUrJrcMrRzE4vFwXHg1iesoHlMDaV2f4Ms2if9eZvS eWvi2s+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKNC7SEB2Y96qHZ9Nuy+UNYZ7X8MsTn1nt isnxLALu4K2cSkXxJg5xBPRZfOJfouH7B/9W+ucLzd1iXF7dL+/mRu/91WrxOP7VsmxyllKr yxFn8HLtn8RzRPT78yHRuJm/kevwzqP0BrT6u5cLUA2kqrbK5ghw7AwlpoSrUTDHyn2mErqj K+RcEUo4O6o5Pr7Yrjgu5SSNJd0hxngPqgynsGzG+c1PwgUU2SF5+iwyafv8EL5TblSk/E6j rfVvIrEKcgFqKO1GRJZ34gn5hqlEjuqzdIVlmQdIl1fYhKIlY3pNknOIP/mCfe/hEyhkDJxy PDHOr3tG5vMLmLenLv4c7Zw5E5RxBA8zdBY4JJUBbUBL+zpVkDts9zYCwc1Mw2yw+n5FNVwz p0SVX6LD6ODM67fsUWE6vwxL+WRfoMYtzbwJ+Ag5/H0jH85nVEdfbOu3ZsScH24GulmLF6Hb nrjmNgBCmYKvg85TOzsilCPXyVeZ3m3X60m5zE7DJiqApvERoComLCB2jy0EYVMZm9aElCMD Wvod4KcVvsRcC6SONNukiQYVbi9TI8szQ2huxX/y7pjN+bU/iwYtYn/1NVu/O3SlRQy9SRuA MiH0mGNSXt0nmISSDMs0qB/ux819lDW8694hbRnFd1P5vVGTgA8fcreyOx8I9v1Wg/bc9GVR 0yvWtWnCip3RdV33txYMGhnHND3ig3J0iWjS6QUkruNTMgw76jR0HHqJsN6zSmd/KYkhlgiB MBIMDv11eZE6wHPCtuRwA2inKGwePFZhXaVnI/i5W+HvUUCFRV1Tb2AR3cUIE3fsdX+4ErGC b6oE7UudAVbmoaZMqUfTNrvgB1dQev7fszEaje1hm29Ch+Tx7aLatWxU2oY1STZTkMDllNb5 m6IYDA3HTzpuGfCFHprHFPrbVnr9Lx6tXm2QUYvzgSNaRI6/7Ww8x8Rw/ebTqBbxaoK7QEmr Tg8B1Ohx5TWBt6H8hJmZ7lZaMgh7U1v0GvYs0liJMXlIfw/wFEZdAtzsgXl0BAf5pxot88so TtqyQNzLfjdy1Zdb3aC2pu2PLTLK2709RTpaqjM21iY3szEsqEIoO81rVnupmTLXgIr7mln3 t9J0nCd+oSCDQwcVoj0W1o28B4yrq/TYy007YfZnXN2Nqz8vjjH0tMvTOwrr3ToN9NCOq6LH RTzFsocWJOGJ+kjmlzvZRUBfahT+KMyI8K6Zq6ewqf4WYQo1DmijGlB/MV8yhfWr3s6GrOOh cxcha3FjW7lH3/mgVyss976g9VBbDAWRC+kzDT8QZRWbet0dJoKDmGnJ4u2wM9/jtjjQS09l hbrClUY1cuuYRfXYUb62Fga0VkdrHOugiq9yDoryBkmq6Oe2GrFxOGoJ39lciZbAXJvi1vhO 93+i80QUUehdAkskx36vm71wqFaoOJ0KGyZEiIqN2DmamplVKW3rL+LZcVCvYgpvStgW+O5e VmGS7T5rnP2ygvbFnBFjHA+fjCu4NDimgBizXiaJzB1pWbYfsd5wVHe4sbdTLhfxGhOSC59g DjRTl+yWrvhtdGJnZrMu/u/UmWnCcZ7fizizIfGvyy+rWFnGhywmfmvl8avS1Brl3+mkYMwD GOU8V71ecHz2r6/MP57c0UNZhe08Md8Foxk08MxiJwWxXkGl8CQ9HsDn330NIYT0qb/YXwRA D8TloSNsU61hQs5dCvPm9+qMxfVitFsbNS7fG4Mjyc07sQQTbyR8KQBhyx+5FyxsQPWZ/F52 DYb0/onrnAA0IRr8EIgyDuQBrcKEAxWJyvpwl6M8tqzo6xMZWOod+fr/EV7lNGlSrqFp0sPP RSxModnBiJ24shlZRjIzXf+5Yj/edzXa41InhKRmhbEyeNSLdhi85hCzToiMmX7s3o/zuc9h hE7xpC2sr+MLGB19b64CBpVZXXlItke8Tb3geNCj96bisqxS455FGxBD/6KBbq4VSgfvvP9O 0OSHS0g/z2FTKHHE1bX6V86/SmSVcn6bzfNeCZflZI4GFGcPBAN3lxSBm5h2MdnTkbyg5WwF SUxrjEJugym9F0Vkrgub1+nFT2H7AawNmVqFt7FcEsQvlkEvwCPaYSf9r4hQHsep8Hn9V3Xb DTcPlQtbylBW1TYVQ+/eOD0uJ+YtbDfX7T2LuOSM+zW+aoHCKjOldT3ldE/tzeUapfWYSIkV qxnnBIFBTcgRaG7030OU3BFzXqcKZ7G4k7mqmsv6ZnguPXzBFC1vNXJVusUaIQ1vUjx2PbLN vbM1nwgd3ACjcJKniWOkP9GjTtww2l4fj2pW9zsrAbrS6Td0u9SBh8fMWZoMddQqrg71U9LM NLajdX80vh5iOQ0AhFLTw6pnMbhfsEML2ynUTGPTE+WKLSLIyHKyMDrcOu9T7NXluBdqxy3v 36SDUbiOj2JkzShWQqoNKlAiySSPRoWv4/YEF4lEW/4UNfvcQG2KvdyhDwyhKIu3zbEaTNaP j97fEdA6LaX6GIQg/lyHXBA8mswLeSAnHX8jaGQIZIXvP13RyVswrgCsTJqlv0PtngCGKEm/ Uma5sRjqFynjOSVnz9uUR4U7y1OmJrOp0Jpf6PQ6phHX3/AuhML92SZTRoQ9L4HQpXivb5dz t/Xmef9MjBHppjQ4MERCMHPKceANiV6GRXsET/QSgACSHT4UAOXz1wYi/yU+nCP+9IirYPwn ZMVVrJBfFk8F/dfFV48WdJefdF4WTQrlbPdh8kNrynbzlGZVIBRuZbJUeiXCPPkJWOCjLVKU BAPxKvxMYUZMoCTM6NKZVxznYCMEE3VD4klSsxJawY1pABS6iE7QDFunU3ibQyp7TkYEvvmx nbebyNxZO0s8HHn5FJlfjL3 IronPort-Data: A9a23:XYHkW6vU1Wo8tuThcf6wM+ulP+fnVGJYMUV32f8akzHdYApBsoF/q tZmKW2ObKyCYTOgfo12Oo7n8hhSv5TSzNFgGgFvpHsxEy0QgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCY0idfCc8IMsboUsLd9UR38g40bBVPyvX4 Ymo+5eGaQf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnaTgTz4sG6DypN0YURteCw9PEvJFobCSdBBTseTLp6HHW37lwvErE1tveINEp6B4BmZB8 fFeIzcIBvyBr7jukfTrF6823J1lcJSD0IA34hmMyRndEPwrTpnYQqDN44AD9Dg1j8FKW/3ZY qL1bBI1Nk6aOEQRZD/7DrpjuteqjCPwTgRz8kKci7gFz3Tx7FVYhe2F3N39I4TWH625hH2wr WvD+yH9AwoGHMeOzCKMtHOqnO7G2y3hML/+D5W9//9uxUKJnykdVEBQWly8rv20zEW5XrqzN nD45AIW/a4L8WmmcOXEWh+6pmaqjzFDWINfRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ g/Z9z8OLWw/2IB5WU5x5Z/P8mzvYXl9wXsqIH5bHVFcsrEPtalq1kqXJuuPBpJZmTEcJN0d6 zWDrSx7mK9KyMBXiuO0+lfIhz/qrZ/MJuLU2uk1djL6hu+aTNT9D2BN1bQ9xagcRGp+Zgfd1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323zpyP5JdEIuGgmfhwB3iM4ldnBM B+7VeR5tM87AZdWRfIfj3+ZV55zlvC5TbwJqNiNNocRO/CdizNrDAk3PRLKt4wcuEcrlq47N P+mnTWEXB4n5VBc5GPuHY81iOd1rghnnD+7bc2lknyPjOXGDFbIGO9tGAbfNYgRsfLUyC2Lq I03H5XRm31ivBjWOHa/HXg7dgBUcxDWxPne96RqSwJ0ClA4QDp4U6eJm9vMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiZi8xZbXxc4x4qH5nbyUgMUz5iXcmaIerqqwYcsJvL7Ug8eViy99yT uUEK53QWKQRFmyf9mRPd4T5oaxjaA+v2lCDMi+jVz41IMxtSgnPzdn7c1a97yIJFCe26ZAzr uT4hAPWSJYOXSp4C8PSZK79xl+9pylPl+d7Xk+OKd5WIR2+/I9vIi33r/k2P8BccUWZlmXGj 16bWE5Kq/PMrok59MjyqZqF94r5QfFjGkd6HnXA6enkOCTf+F2ly9ASXeuNewfbSzqoqqivY ONiz8b8PucCq1BEvtcuCL1s168/u4LiqrIGnARpGHLHMwaiBr96eCLU2MBOsuhS3OYct1frH E2I/dZeNPOCP8a8SAwdIw8sb+Ki0/AIm2mNsa5kfh2ivCInrqCaVUhyPgWXjHAPJrVCNo54k /wqv9Qb6lDihxd2YMyKiDtYqzaFInAaCf51s5gbBMr0kFNuxA0fJ5PbDSDy7deEbNAVahsmJ TqdhazjgbVAxxqdLyBiSyCVhecN144TvB1qzUMZIwjbkNTygPJqjgZa9i46T1gIwxhKuw6p1 rOH66GoyWSyEzZUaAxrWmmtH0ReHkTc9BCsjVQOk2LdQg+jUWmlwKjR/wqS1Bhxzo6eVmEzE HKkJKLNXjPjfcW31Sw3MaKgg+K2VsR/r2Uuh+j+d/lo3PAGjf7NjaqnZG5OoBziaS/0aIsru sEylNtNhWbH2eL8bkH150R2FVjddfxcGFF/fA== IronPort-HdrOrdr: A9a23:thH+G6m3ya/27Aj/A2A6VEIWAdvpDfIP3DAbv31ZSRFFG/FwWf re5cjzsiWE8Ar5OUtQ+uxoXZPrfZqyz+8S3WB8B8bHYOCighrOEGgd1/qY/9SQIVydygc178 4JGMhD4Z/LfCJHZK7BgTVQeOxQpeVvnprY+Ns2DE0AceipUcxdBstCZTpzancGODWuzKBWKK ah X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,381,1635199200"; d="scan'208";a="22223166" X-MGA-submission: =?us-ascii?q?MDFacdhlY/tdQAxK1kNhS6sNfH+fDBwQKleI6b?= =?us-ascii?q?FJ/f140wF1idcYka5D46waevJgc2yimJrcqO5JKApB1iTD8XBFtgyKha?= =?us-ascii?q?JgTCwdLEDYsJy60yMy2b7alQv/TPWZB7yUb8piO/e7C1wkbAC6kLkD3M?= =?us-ascii?q?NKrx6OAM99j5PG2n2A0luZCQ=3D=3D?= Received: from mail-wr1-f45.google.com ([209.85.221.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Feb 2022 18:19:16 +0100 Received: by mail-wr1-f45.google.com with SMTP id d3so4085067wrf.1 for ; Sat, 19 Feb 2022 09:19:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=sqOymtvYWjsaozdiMik5hMToO4QP7YS5DACGizXj2aE=; b=XTKWwOsFcmoKXmxLygrNcHCYaHW2fLZ8XEQzUU7Wd4SIZgQ05bMnEnE9g0brYtmAIb SjKDMcwDScFtA0916v/SgoKhpLUoWYv/bf15Q1bE29VON2atHJCNPLuGMTzXqKwOfHkh DyPlNnUSJUvQqihRhR2mEvLYc2E2Dmsre63UpjM3F1au3tZ9t7ub57bCL5baCkpmYngt aBT4weCBJc4o5lcD0jQMzJtkNvAutitcqZQQrOyEAClfUAAhF63q65WZ1O6RtUQI26bA XPLPaVZ073DHCoyDCbn2yOU14DoMIhsWLCM4dDAgs/thyp8NCegrTfJy79eMWVGsd8tg eVJw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=sqOymtvYWjsaozdiMik5hMToO4QP7YS5DACGizXj2aE=; b=2zW88KbM0Y+6QU1olGm64rBZufjItBl/XqTDeuOJE6pvI+bT9V35TslKv99k3UPkaO q80g2rGT1P3xMSIHyvD45RLK8jfeECiVxpMzbuI/YsM1c3U6c4jcoPGYNKERvLcmBPuM l5imELonxi9Y1pCnKmr0bYu9eQipqXIJN3aaPSUQtDO/xtdTy6Ql8V5UCmdwvJfGzBoo ib4O+Utr+hvGAtUWvCEZVeCKsOZt4nhbb0Dm5lBH3HUKowFD1HtGmkafvFvabOUSfTcS yWpIAcVmNLEpb6FM6C9517R2/rvLDoHYPe0joK6tbwRu4/V8mh5a7uFP+oqwwBTl7GrB 7CiQ== X-Gm-Message-State: AOAM533U91XbQL3RB9/96cyNo2Bjv2OSiFLgiCD8ymlB7a+mSOKWusql 5itf3L0wO267aQEifBjxAD0HbQ9BEVs= X-Google-Smtp-Source: ABdhPJz5VgpisMFYspOKTcsRez4rZ2D+dRsCwsMtAPy5OqhsG9WQNjqO6l7x68F7tvarnW4SmO+gww== X-Received: by 2002:adf:e451:0:b0:1e3:3be3:cd1e with SMTP id t17-20020adfe451000000b001e33be3cd1emr10197136wrm.227.1645291156378; Sat, 19 Feb 2022 09:19:16 -0800 (PST) Received: from smtpclient.apple ([102.223.139.11]) by smtp.gmail.com with ESMTPSA id i13sm8079307wrp.87.2022.02.19.09.19.14 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 19 Feb 2022 09:19:15 -0800 (PST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.20.0.1.32\)) From: lubega simon In-Reply-To: Date: Sat, 19 Feb 2022 20:19:12 +0300 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <9B6773CD-8650-474B-947A-B5370E4F216E@gmail.com> References: To: John Whitington X-Mailer: Apple Mail (2.3693.20.0.1.32) Subject: Re: [Caml-list] OCaml from the Very Beginning now free-of-charge in PDF and HTML formats Reply-To: lubega simon X-Loop: caml-list@inria.fr X-Sequence: 18700 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: That=E2=80=99s so such great news to hear, thank you! > On 18 Feb 2022, at 16:55, John Whitington = wrote: >=20 > Hello, >=20 > Thanks to a grant from the OCaml Software Foundation (ocaml-sf.org), I = am able to release my 2013 book OCaml from the Very Beginning = free-of-charge in the existing PDF format, and in a new HTML format: >=20 > https://johnwhitington.net/ocamlfromtheverybeginning/ >=20 > The book continues to be available in paperback and Kindle formats = from Amazon. >=20 > The book has been updated for OCaml 4.14 in all formats. >=20 > Thanks, >=20 > John >=20