From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=erratique.ch Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=XJNKCtkH; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=erratique.ch header.i=@erratique.ch header.a=rsa-sha256 header.s=protonmail2 header.b=TCi0NhGq; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id DA4CBB80123 for ; Tue, 12 Nov 2024 23:28:21 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:to:from:cc:message-id:in-reply-to:references: mime-version:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=LSdlzuXrBcTXRc6wFdtnHQKAV/hscIQeY1o+HhwxCe8=; b=XJNKCtkHMD08TIqLNjV4g/g/fouQzq37wdNyXNfs8MRP8YeTftIzUmBH dok8hGvnmic0S/R/9Wi9iB6pS0lnnkLP48AxRj/wBx4dbal6vGHMchKZi zEQRN7LWsBlULQcX43iXcy+mRs4kehLFn/7I+UXnOtfK0ov3XT2BLvxpa A=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@erratique.ch X-IronPort-AV: E=Sophos;i="6.12,149,1728943200"; d="scan'208";a="193489623" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Nov 2024 00:28:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E0142E0D1F; Wed, 13 Nov 2024 00:28:20 +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 EF22EE00B7 for ; Wed, 13 Nov 2024 00:28:14 +0100 (CET) IronPort-SDR: 6733e48e_nQCmKYpBLWiPBLueZNzYblTz9twzjd9JT78b/OPHAkVq+Xb 0tkQOOrRuQ3A+Gaj5xbzbwkIiC2RLyS5UvHHa9A== X-IPAS-Result: =?us-ascii?q?A0EjAQCY4zNnjxcrRrlagQmBU4IcKH1ZNAcISIRWg0+OI?= =?us-ascii?q?poQhAWBfg8BAwENOwkEAQEDAQOFAAKKPwIfBgEEMQgOAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAhABAQEBAQE5BQ47hXsNgmIBM3GBJQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEXAggFXgEfAQEBAgEjHQEBNwEECwsaAiYCAlYGE4MBA?= =?us-ascii?q?YJBIwcNBrIDgTKBAYIMAQEGgQhRQNpKgSADBoEaLohMAYlmeieCKIEVgyo+g?= =?us-ascii?q?mEBAQGBX4NbGYJQgkWFHSWJFphnUnscA1kyAVUTFwsHBYEpISwDglJ/gTmBU?= =?us-ascii?q?QGDH0qDPIFeBTdJgkppSzoCDQI2giR9gk+FGoELg2CEZoJJHUADC209NRQbB?= =?us-ascii?q?p93AUaEPikCgj3GOAeCOB+BRowWlXaqTZh3igSDL0ybJIFpAjaBXIFAgmdPA?= =?us-ascii?q?xkPjjqBFQEJghoohRTBZUYyOwIHCwEBAwmCOY8HgUsBAQ?= IronPort-PHdr: A9a23:Bow/8hOYmc3VNo69TRQl6nZQBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqwr1QKCBdWTq6odzbaN6+a4AS1IyK3CmU5BWaQPbSNNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7oxjdutMLjYZiJao91hjEqWZMd+hK2G9kP12ekhjg6suq4JJv7yFcsO89+sBdVqn3Y6s3Q btEATo8NGw7+NPlvgTZQwuV4XscXGQWkh5WDAXA8Rr3QJT/vDbku+RkwCWVMtH4Qr4yWTS58 qdkUwTohzsdNz44627YlMp9h79GrR27phx/x4nUYJyJNPd7Y6jQc88WSXZHU81MTCFKHJ+yY JUTAOoAJeZYrpfyp10SrRulGAKgAPrjxiJUinPq2KE31fkqHwPb0ww6B98AvmraotXrOakPU u66zqfIwjrfYP1Zwjr99JHIfwo9rf2QQb59c8zcwlQvGQPfiVWQrJToMT2P2eQLsmiU8e5gX v+yhnY7rQFwozyvxsYxgYTOm40a0FbE9SRnz4YxP9G3U1N7bsCiEJpRsyGaNpB7Td04Q2Fyo ik61rwGuYemfCcU0pgo2x7fZuWBfoOV7R3tSPyfLi1khHJ5Zr2/nRCy/FC9xuD/WMS60FZHo CRGn9XSqnwAyRLe58eIR/dh4kqs2jSC2h7T5OxHPE05l6XWJoMhz7Awi5Yev1jPEyHylUjri qKda0sq+u+t6+v9Y7XmoIeRN4B1igHiMqQuh9ewDf4kPQgJWmiX4eO826H4/U34T7VFkPs2n rPesJDAKsQWoLOyDQxN0os79hqyDDer3M4akHUbNl5IdxyKg5L3N1zAJv3zEOmyg1CxkDdw2 /DJIKfhDIjMLnnCjrjsZapx5khBwwQp199f/YhbCrQZLfLzREDxsNvYAwc8MwOuwubnDMxx2 4wQVG6RDKKVKrvSsUWP5uIzJOmMYpUZtyr9K/Q95v7ui2E2mUMFcKW03pYaaGq0E/Z6L0mDb nfhjM0NHXkEswYmSezlklyCUTpdZ3aoWKI84yk2B5+8AofFR4CinriB0D2gEZ1LeG9GDFGNE XPpd4ifRfgMcjiSLdV9kjwFTLihVpEu2Quyuw/607ZnKPHb9TUCtZ3/zNh1+/HTlRYq+DBpF 8idyX2CT3lonmMUQD87xLxwrlZ4yleHyKR4h/1YFcdP5/5SSQc7NZvcz/RgBNzoWwLBeM2JS Fe8Tdm8DzExVIF5/9hbSkBxAdirlVj52DGxCbIPmPTfHpsv6ajRxXfZIt58jm3Zz+8mlVZwE eVVMmjzqqd59gXXT6RdlVedlu7+ea0a3SPJsm2ewGycuEBwXRRqWLnERG0SIEDW+4eqrnjeR qOjXOx0ejBKztSPf+4TMoWBZTRuQf7iPI6beGetgyKqAh3OwLqQbY3scmFb3SPHCUFCnRpAt W2eO10YASGs63nbECQoDUjmNk/l9+hzrDWxU0Iy3QWLR0B7zbOp+wcIiLqXS6BbxaoK7R8os C48B1Ohx5TTAtuEqRBmefBQaNU87VMB33/UsR55P7StNbprml8HbgkxtEO9nw5vBNB4mNMx5 Ggv0BI0Ka+c1wZZcCiE2JnrJrDNAmz7/RTqN/WMgRfGytGK/aFJ4/RQR0zLmgavGwJi9nxm1 4MQyH6A/tDQCwFUV5vtU0Ex/hw8prfAYyB76ZmGnXtrebK5tDPPwbdLTKMs1wqgctFDMaiFC B66EssUANKrIfArnF7hZwwNPeRb/qo5d828cP7O1KmuNedm1DWo6AYPqIx01EOB82x2V+POz ZIE6/yCxAKbVi7hgRGqsoG/mIxJYy0TAnvq0TLtV+szLuV5eYcGD3vrItXin4UjwcG1HSIDs gT4VDZkkIezdBGfbkLwx1hV3EUT+zm8nDegiiZzmHcvp7ae2yrHx6LjcgAGMyhFXjoH7x+kL I6qgtQdREXtYRIukU7v6U/8xqVf4q5iIm/BRUZgcjLsJn1jS7a98LGCKZ0qittgoWBMXeKwb ErPALL0pRoX12XpAmZY1jQ6XzywoJzlngVnhSSWLDwgyRiRMdE1zhDZ6tvGQPdX1TdTXyh0h w7cAV2kNsWo99GZ/3vamti3THnpFphacC2xiJiFqDP+/2phRxu2g/G0nNTjVwk8yy7ykddwB 23EqxP1Y4+j0KrfU6ovckBuBVL4rcBnF4dslooYiYsK0GQbn4iYu3EH2Wv+KtRU36viYWFFH G5WhYGNplS+nhc4ZnuSouCxHm2Q2M5ge8W3bisN1yQx4toLQKaY4bpYnDdk91+xrAbfe/94z X8Wzfoj7mJfgvlc4VpwiHrFROxJWxMDbkmO31yS4tuzrbtafjOqeLm0jg9lmMy5SauFqUdaU Wr4fZErGWlx6N9+ORTCyi6WiMmsdd/OYNYUrhDRnQ3Hir0fJJs3l/cOwyB6NGTvuXwNxvQhh ABvxIy3+oOHYTYInurxEltDOzv5atlGsD3ki6dTmoCcwo2pDJFgMjgRRpL0TOu1HXQZtb60U mTGWC15oXCdF73FGAaZ40oztHPDHaegMHSPLWUYx9FvF1GNYVZSiwcOUHAmj4Y0Q0q0kdf5f h4ztVVzrhbo7wFBweVyO1zjX3fD8U22PywsRsHXLQIKvFgSugGKaYrCtqQrWHsEtpy58F7Ue jHdOFwOUThPAgveWzWBdvGv/YWSqrjFQLXmaaeVJ+3J87AWVu/Ul83+lNI9onDVbpvJZj44U 7U6whYRAiE/Qp+E3WxXFGpP0HiRCqzT7Ba68Slqos3tx+/zVlip/ZGIF7xUNNxu/1a9ge+VP uqUzk6VMB5g34gXjT/NwbkbhhsJjj12MiOqGvIGvDLMS6TZnulWCQQaYmV9LpkA46U51whLc cnV77G9nqZ/leIwAkxZWEbJn8ioYYlWeDvmckvdA1qMMvKNJXXHztr2bqW1VbBLxLwE6lvv4 XDHSAm5ZXyKjFyLH1i3PPtJjT2HMRAWo4y7fht3SCDiQN/gdhynIYp3gDkxkvU/gnLHM3JZM CApKhMQ6OLIq38DxK8kSAkjpjJ/IOKJmjiU9bzdI5cS675wBzhs0vhd6zI8wqdU6ydNQLp0n jHTp5hguQLD8KHHxzx5XR5JsjsOipiMuBAoNazf95REH3zZ8RQf6WS4Bg4QrsdkE8Di/atQg Iuq9uq7OHJZ/tTY8NFJTdDTM96COWE9PADBHTfVCE5ZFmTwc3nFgFBalreZ9jfGy/py4oipk 50IRLhBUVUzHf5PEUVpEusJJ5JvVy8lm7qW34YYoGCzpx7LSIBGr4jKA7iMVO73Jm/T3twmL 1MYhKn1JoMJOsjn1lx+PxNkyZ/SFROYXMgR8HQxM0lr+AMRqz4kFSUl0kbhIGtFAVcWHP+w2 0Jt0FA4ef4q6DDqpVw3dAOiTMQYnVMrkMnkmC2cNjXxfv7YtWR+BjDuvlQwK472BQ11P1Xao A== IronPort-Data: A9a23:FjUOwaPw2tuJDc7vrR19k8FynXyQoLVcMsEvi/4bfWQNrUogg2BUx 2tJUGrSPf6Iazf1eY90aY+0pkgHvJ+HmoRjSXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQXNNwJcaDpOt/va8Uk34JwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXoTn/Bm69ET3o9LNMU37hVA0Bps t4HfWVlghCr34pawZq+Q+how5h4dpKtJJkYpnZmizrZZRokacmTHuOVvZkEh3Fq3aiiHt6GD yYdQTZmahXNZ1tFJ1oRGpY/tOqynHDjciRFpRSepcLb5kCKnVctgOmzaIW9ltqie+cSw1S5r z7650u6ADMIL9+c1xa5yyf57gPItXinCNlMRezQGuRRqFaaw2hWDBwNSXOgsPyhgwi/XcheI goa4EITQbMa8UWqSpyhBEfj5maeuQIbXZxbE4XW9T1h1IL63gK0XjIuDQVKeYIqkZEURx0Nk X2WyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVVcizUEiN9q5i8jXupe/LiJYsrdMhGY/ txnhC03hrFW0ZVRjOOj51fbhDTqrZihou8JCuf/AT3NAuBRPtTNi2mUBb7zsakowGGxEgbpg ZT8s5LChN3i9LnU/MB3fM0DHauy+9GOOyDGjFhkEvEJrmv2oiX/LNABv2Emfy+F1/ronxe3O Sc/XisPvvdu0IeCN/cfj3+ZUpxwkfCI+SrNC6yNBjaxXnSBXFTbrHowNB/4M5HFiFIrjaY5c Z6UGftA/l5EYZmLOAGeHr9HuZdyn3hW7TqKGfjTkU/9uZLAPyH9dFvwGAfVBgzPxP/f+F2Nm zueXuPWoyhivBrWOXSIq95PcAhbfBDWx/ne8qRqSwJKGSI+cElJNhMb6epJl1VNzvsNxNTbt GqwQFFZw1fZjHjKY1fCIHN6Zb+lGd41oXsnNGZ+dRylyloyU7aJta0/TpoQeaV41epByfUvc eIJVf/dCdtySxPG2Q8nU7/DkKJYei6W2D2+ZxieXGBnfrpLZRD4xdv/Tw6+qAgMFnWWsOU9k Z2B1yTaY54IQSZiAOnSeP6Q8k6A53ccvMlQXEL4BMZZV2ux0YptKg331uQWJeNVIzr95zKq7 SSkKjZGmvvs+qgbqMLog4KApKeXS9pOJFJQRTTn3OznJBvk8XqG6q4eduSxJBT2dn7+oYemb sVrl8DMCuUNxgt2gtAtAoRQ7PwM4vX0rOVn1SViJnLAamqrBp5GInWr2cputLVH9oRGuDmZC 16+xd1HBYqnYM/VMkYdBA4AXNSx0fs5njrz7/NsBG7Y4CRx3qSMUGQMHh2qpRFeEoBIM9Ie8 b98gPIV1g2xsQp1E9CkiisPyX+AAEZdWIoat7YbIrTRtCwV9n94b6fxNArK8bCUStAVMkAVM j6e36XDoLJHx3v9SXk4FFmT/O8EhZ0xpwxs4HoTAkXUhdHA16c9hkFMwG44TyB+7BZO48RsM EdFamx3IqSv+W9zpc5hBmqDJSBINCe7yGfQlWQbsXL+cRGzd2rvKGYdB768zHoB+TgBQgkBr aCq9mn1dB3LIufz53IWcmx4oaXBSddRyFXzqPq/FZ7YI6hgMCvXuY7wV28msBC9PNgQgnfAr uxU/OpdT633GCoTgq8jAbmhyrUiZ0GYFVNGXM1e0vsFLUPEdBG2/Aq+GUS7V8dOBv7NqGuTK chlIOBRXBWfigeKiB0mBpA3Hrwlp85xueI+eY7qK1UW7JqZjD5i66zL+gbE2WQEftRJkOQGE L33SQ6sKGKrqEFvqzf/l/UcYmucSvsYVTL4x9GwobkoFYpckeRCcnMS87qTvleROw1F/x67u BPPWJLL/rZtyKBHvYjlIoNcDSqadPLxU+Wp9lioktJsNNngD+bHhzk3mHLGYTtEHOI2dYxst LKvtNXX4hv0jIwuWTqEp6jbRrh728qiecF2bOT1FSB+tgmfUpbO5xAjxTiJGaZRmokA2vj9F hqKU+ruR9s7QNwH+WZ0bRJZGBMjC6jaSKfsiCe+jvaUACgmzg31A4K7xEDtcF1kWHcEC7/mB i/wnsSe1NRSgYBPJR0DXtVNIZtzJn39UqoHKfz1kxSlDVeTv1DTgYu6yCIc6gzKBEfdQYy+q djASwPlfRu/hLDQwZsL+8ZutxkQFzBmjfN2YksZ/MVshiunCHIda94QKogCFooehxmaOEsUv 90RRDBK5eTBsTV4ndHU5d3iWkLDXbZVfM/jISAu+QWfa09awaueVaB5+H4ID2heI1PeICOPc LnyOUEc+jC82ItgWecK+/H9iucPKjby2CcT4U6k+yDtK092PFjJvUCN2CJATzbOD8DUiUiNL mhdqaWohq2kYRaZLPuMsEK51P3UUP0DAtnogeqyLA7jhrim IronPort-HdrOrdr: A9a23:ojVfXKEsfJHqllxYpLqE3seALOsnbusQ8zAXPo5KJiC9Ffbo8f xG/c5rsiMc7Qx7ZJhOo7q90da7MBHhHPJOjbX5eI3DYOCEghrNEGgB1+rfKlTbckXDH6xmpM RdmsNFZuEYY2IWse/KpDC9V/It2sOO/qztpcq29QYJcT1X X-Talos-CUID: 9a23:fZtJhmE7QjT/iQ6VqmJJyUo5QpoPMUbW3SncBhGaC0dOD5+KHAo= X-Talos-MUID: =?us-ascii?q?9a23=3A8EMRhA2r0UajDh+Qx+MTwng1aDUj3YbpVVIsmMk?= =?us-ascii?q?6o+bHNw5iIDSekhiLe9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,149,1728943200"; d="scan'208";a="193489607" X-MGA-submission: =?us-ascii?q?MDH+gG01DxVFlRw6NCjSAL6JaXMhuh+2LMMXb2?= =?us-ascii?q?KyL8uzNdVtY5vGBSQP2CKiBIfMOu+95s6i9s8/gmX0dX9IqFeaDg7zgo?= =?us-ascii?q?TU7882bGMUjDgEytZWYOubrfwOdz3vSBoILaOahr9ErGUny+NV1Bx5pw?= =?us-ascii?q?7odY9fUFnHDqDA5QZGGx2K1w=3D=3D?= Received: from mail-4323.proton.ch ([185.70.43.23]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Nov 2024 00:28:13 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=erratique.ch; s=protonmail2; t=1731454093; x=1731713293; bh=LSdlzuXrBcTXRc6wFdtnHQKAV/hscIQeY1o+HhwxCe8=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=TCi0NhGqzV/i6NME6WvoA6Zq3ms+S5C6tw8SZl9o4UIMrBhAOUuEnsFFkaMCuSfUe X+jzkf3dEwALArqBrlXhk5T9f31WJlpLf5Bu+vbBZKw9MgFI8p6uvLZwcQX6EadLzX QupQcOa9IocLhNLCUCbcw91PxV++KyEn8V9TWaJIUjulKBRsiTD5FGVq6T56vdoqtq SdUZ6i53/bTLRAfKrabPBS1p+M5W9HCPtVBFw3IXYq5RD7veGZyWfBNk7rnvsbF78K qyb/gIKsCYmy4Suo8+uCoQfGi7MhR0FGzEYjGApdGdaItkcl9EiDJsVBm4ep3aNKm/ XQ7UacOoy95PQ== Date: Tue, 12 Nov 2024 23:28:07 +0000 To: Andreas Rossberg From: =?utf-8?Q?Daniel_B=C3=BCnzli?= Cc: caml-list@inria.fr Message-ID: <76aQzHorTXNXB9VNMtHCyZHizX5L2QasWKOSiTaBym7bqOt3H8NvIhYnysxTlEu54KnwJfs83OsvtANxqMQ0nxMrwWWGn1ez2MjPC7RN4JY=@erratique.ch> In-Reply-To: <7F296476-3CFC-4E74-B3F9-462A438A1BD6@mpi-sws.org> References: <7F296476-3CFC-4E74-B3F9-462A438A1BD6@mpi-sws.org> Feedback-ID: 97614785:user:proton X-Pm-Message-ID: cbd745339cdc3f81201bf8c45614b372ed7264d6 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ANN: Boulder Dash in OCaml Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 19202 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: On Tuesday, 12 November 2024 at 16:55, Andreas Rossberg wrote: > Boulder Dash() was my favourite computer game in the 8-bit era, Nice remembrance, thanks! I also likely spent quite a few days with it on a= C64.=20 As WASM support is being merged to js_of_ocaml [0] this is screaming for a = web page implementation to taste your own food :-) (and would nod to [1]). I quickly tried to compile to js with js_of_ocaml's graphics version [2] bu= t I timed out before getting something functional. Best, Daniel [0]: https://github.com/ocsigen/js_of_ocaml/pull/1724 [1]: https://ocsigen.org/js_of_ocaml/latest/manual/files/boulderdash/index.= html [2]: https://ocsigen.org/js_of_ocaml/latest/api/js_of_ocaml-lwt/Graphics_js= /index.html