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 sympa.inria.fr (Postfix) with ESMTPS id F0B25E0128 for ; Tue, 30 Aug 2022 19:01:40 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aaronngray.lists@gmail.com; spf=Pass smtp.mailfrom=aaronngray.lists@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of aaronngray.lists@gmail.com) identity=pra; client-ip=209.85.222.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="aaronngray.lists@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of aaronngray.lists@gmail.com designates 209.85.222.179 as permitted sender) identity=mailfrom; client-ip=209.85.222.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="aaronngray.lists@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:35.190.247.0/24 ip4:64.233.160.0/19 ip4:66.102.0.0/20 ip4:66.249.80.0/20 ip4:72.14.192.0/18 ip4:74.125.0.0/16 ip4:108.177.8.0/21 ip4:173.194.0.0/16 ip4:209.85.128.0/17 ip4:216.58.192.0/19 ip4:216.239.32.0/19 ~all" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk1-f179.google.com) identity=helo; client-ip=209.85.222.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="postmaster@mail-qk1-f179.google.com"; x-conformance=sidf_compatible IronPort-SDR: DNliRQX7L08+ytQs0Q67jDLmCHZMluu+55hVmRPG7mMTXYV8kzjW6t6vnDlDnYccE6T396L54n rFmpy/cSLhWAY3HroshilPsQ7vKLXXIY4CQIUkEUeq0DCgmlYsrvrzBocNnHD2oRe2WKnfdLMb RtOAhEYIGJh6xCGXenNw8AemyJx3P5qK9KkNUzhMU+zXJY3j0jLnTtgT6olAwL+2p+Y46/PrrW /7O16kbvm1cK1DrxwR6W/9uZCRmNhKRWgz67v6+0sIArqUN4RoJyKU2frJTqbhEPrU/Yen7jcr GIVjPYHacliHFIM6pFWGT4pH X-IPAS-Result: =?us-ascii?q?A0AmBgBxQQ5jf7PeVdFagQmDc4FXLwQLRYROkRCLN4EGh?= =?us-ascii?q?hqMKAsBAwENQgQBAYUHAoRkAh0HAQQ0EwECBAEBAQEDAgMBAQEBAQEDAQEFA?= =?us-ascii?q?QEBAgEBAgQEARMBARgJGQcODgVgAWEDAUSBT4F0CwMxDYI1KQGDZAEBAQMSE?= =?us-ascii?q?R0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhMIGoVIAQMyA5t7gQRCizKBFQUXg?= =?us-ascii?q?QGCCQaETwoZKA1nA4FZAgcSfyyGfIFCh1YngimBS4J0PoREFYNBgmUElw4BA?= =?us-ascii?q?wcDBAYFDwMDAiEBAgFEHgIJAyMRAwsQCBQXASEGBgEBBAEBAgwCAQQBBQMBB?= =?us-ascii?q?AUDBwIBBQYCCQMDAQgDAQEFAQMEAwMDAgcDAQIMBAgDAwIDBAICAgIBAwIHB?= =?us-ascii?q?QgEAgcCAgIBAgICBAIBAwkBAgMFAgIJCwEEAgIDAQMBAQIIBAkEAgMEAgEBA?= =?us-ascii?q?wIBAgIBBQIOBQEBAQECBQECAwEGBwIIAhwKAQMDAwICBQICAQIDAgIMAQEEA?= =?us-ascii?q?gECAQIGAQMBAgIDAQMBAgIDAgYJAgQBBQMDAgIDAQEFDwUCBAIBAgYFAgEBA?= =?us-ascii?q?QQBAwQEBgICAQMDAg4CBAEEAQIBASMDBAIDAQMXAQIBAgMDAwQGBwUCAQITA?= =?us-ascii?q?QIBAQEFAQIBAQMEBAcJAwICBAMDBQEBAgMCAQEBBwwCAgISAhMDAQYBDgUUA?= =?us-ascii?q?wIEAgIBAgIKAwECAgEDAgkCAQIBBSADAQEPJAEBAgICAgMEBwIBBAYDDQICA?= =?us-ascii?q?QEBBQYNAwIDCAEMAgcDAgEDBQICBAECBAoJAQICAQIEBQcCAQgEBQ0FCQsBA?= =?us-ascii?q?QIBAwcEAxECBQMFBQMDAgEKBQIDAQIBAQMEAQMEBgEBAgMCAgEGAgIBAQMDB?= =?us-ascii?q?AMBAgYCAgcCAwIBBAIDAwEBAQQCAgICAgMDCAMCCAcFAQYBAgEEAwICAQIHA?= =?us-ascii?q?QQBCAIBAwMFAwQBCg8DBQMBAwMCFAoFAQMIBgkCBAUCBQMCBAIDAwICCAMCB?= =?us-ascii?q?AMCCwMCBgQCBwQPBwIDAgIFAgICAgIFBAMBAgICAgICBQIEAgEFAQICAQICA?= =?us-ascii?q?gQBAgIHBAIDAQMEDgQDAgICBQECAgEGAgcDAQIBBAMBAQQCBAECBQIEAQMBA?= =?us-ascii?q?gYCBAMKAgMCAgIGCAMDDAkCAwUCBAEBAgcEAgILAQYCBwICAQIDEAEDAgEEB?= =?us-ascii?q?QUDAwMJAgIDAgQCAgoBAQEBAgIBBQUCBAcPAgICBAICAgEDAgIBAQICBQQJE?= =?us-ascii?q?gEBAgMGBAYFAwIIGAEGAgIBAQICAgMDAgYCAQIIAgQBBAUCAQICAgIEAQMGA?= =?us-ascii?q?gMBAQIBAgIDAwIBBAIEAwMBAgECAgIDAgICAwICARACBgYBAgICAgIDAgIBA?= =?us-ascii?q?gEFAQIBAgQCBwIEAwIBAgIFAgICAwEBBgIECwEDAgcGAQMCBwUCAwECAwQDA?= =?us-ascii?q?wsFDAgBBQEDASEDAgIIAgcCAQUDBQEPAwICAwICAQQKAgMFAgQCAQIBBAkHA?= =?us-ascii?q?gQBAgkDAwYCBwUYAQICBwQMCgICAgUGAgQBAQEBAwECAgECAwQCAwIEBQEFA?= =?us-ascii?q?gECBQQCAgEBAgUCDAECAQcGAgcDAgICAwEEAgECAQMDAgMBAQEDBgYFCQQCA?= =?us-ascii?q?wMGAgICBgICAwISAwYHAgYDAgQBDQ4FBAcIAQIBAQIHAgQCBwkCDgIBCAFSl?= =?us-ascii?q?0aDEsJfB4NVgUWeYTKodh2WaqdQECMSgUMjgVsfFBojUDGCNk4BAgEBAQ0BA?= =?us-ascii?q?gEBAwECAQIJAQECkg+KX0MxOwIGAQoBAQMJilIBAQ?= IronPort-PHdr: A9a23:tT/DWhxJOn/GWsPXCzKlw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZv6U2xwaRAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4YPfbgZGiTayfL9+M Be7phjNu8cLhodvNrw/wQbTrHtSfORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+T bxDETQpKHs169HxtRnCVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspQjmp8 btlRwH0hycGLz458X/YispsjKJAvRmtowVzz5PIbI2JMfZzeL7Wc9EHSmpbRsteWCJBDYG8Y YUBDOQPIPhWopfhqFUBtha+GRCsCfnzxjNUmnP736s32PkhHwHc2wwgGsoDvWjOo9XvM6cSV /2+wqjSzTrZb/JdxDDw55LSfRA7pvGMW7RwccXLyUY1FwLJlFGQqY3+PzOJzeQAqGeb7+96W uKuj24rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8FJZdtS+UOoR2TM4mR2xkp Ts3x6EGt5OnciYHyokqygDBZvGEfYaF/xztWPqeLzp2mn9reLKyihKy/Eav1ODxSs+520tJo CpditTAqGwB2hjJ5sWESvZx5Fmt1SiR2wzJ9+1JI0Q5mKzGIJA72LEwjIAcsUHbEy/2hkr2i KiWe10h+uey6uTnZqzqpoafN4Npkw3+PLkil867DOgiPQgOWG+b+eu41LL950H2XLJKjvgun qnYtpDVO9gbq7anDwNJ1osv8RWyAje83NgGg3ULMkhJdA+FgoXtI13OJer3Dfa7g1Siijdrw PXGM6X7DZrXNHjDl7HhfbBy605G0gUyzcpT55ZVCrEaPPLzQVT8tNPdDhAjMgy0x/zrB8l61 oMbQW6PBLSWP7vIsVCU/uIvP/WMZIgNtTrjM/Ql/eLhjWclmV8BeqmkxZUXaGi/HvR6P0WZY GTjgs0aHGYLvwo+SffliEeYXjJJZnayWbg85jAhB468A4fDXJihgKad0yejAp1WemdGB0iQH njycoWEX+4AaCaTIs96jjwJTqOhSo8k1RG2rgD20btnLuzO+i0Zr53vztZ15/eA3S01oBVyA 96Q2nrFdWZvhWkFXTB+iLp4uld3x02M+a1ggrlDCscV4OlGBFQUL5nZmsVzEdf0Ei3bd8bBH F+vWNKgBz4rR8N3x94Vf11VFNCrjxSF1C2vVexG34eXDYA5p/qPl0P6INxwnjOfjPFJZzgOR 8JOMTfjnatj703JAIWPlUyFlqGsfKBa3SjX9W7Fw3Dd9FpAXltWVqPIFWsaelOQtc7ws0rLV bioD7s9OxoHzc+ZNrBiZdjgjFEAT/Dma5zFe2zko26rHl6Tw6+UKo/jemETxiLYXUENiQcV+ 3mcPBl4Aia6v3n2AzlnFFapaETpoqFlsH3uaEgywkmRalF5kbq4/hlAnfuHV/Yaxa4Jog8ko jRwWU++hpfYUoXR4QVme6pYbJU251IvOXvxkQt7M9TgKqljggRbaAFrpwb00B4xDIxckM8sp XdszQxoKKve3kkTPzWflYv9PLHaMAyQtFimdrLW11fC0d2X5rZH6fI2rE/mtR2oEUxq+mtu0 t1c2X+RrpvQCw9aXZX0W0cxvx90wtOSKiA0/YTS03J2OLjytj7Zx8kBC+4syxLmdNBaceuFG AL0D8wGFp22MuV5/jrhJhkAPe1U6Os1J5b8L6rAiPPtZrw62mv53Dcigsg1yE+H+itiR/Sd2 p8Ex6vdxQ6bT3Lmi1zntMnrmIdCbDVUH2ylyCGiCpQCA886NYsNF2qqJNW6g9tkgJu4EXdR7 lmlAVwc0d7vfRuJc0fV0ghZ1EBRqnui03jdrXQ8g3Qyo6yT0Tabie3rbh0BPGFRTXgkiVb3P ZOcgNUTXUzuZA8s3kjAhw6y1+1Qo6JxKHPWSEFDcn3tLm1sZaC3s6KLf89F7J5AXTx/aO2ne hjaT7f8p0FfyCb/By5Ewzt9cTi2u5L/lhg8iWSHLX81omCLMc13wB7e4pTbS5szlnIPTTN/j z/YHFGted2o5smPv5jGu+G6EWmmU9VffDLqwoWJqCagrTcyUFvvwrbpwIehSFdrmSbgsrsiH T3FthP9fpXm2+yhPORrc1MpTF7w5sxmG51vx445hZUew38f1fD3tTIMlWb+N8ke2LqrNiJcA 25WhYSPuk68hxwwSxDBj5j0XXic3MZ7MtyzY2dMnzk489gPEqCfqrpNgSpypFO86wPXe/l02 DkHmp5MoDYXhf8EvA01w2CTGLcXSANRNDbrkRKH9dmv6qFWf3q0Wbe13Ut629umCfvRx2MUE Ga8YZokESJqu492OUjL1nv88Ij1Pt3Rds4InhKRmhbEyeNSLdhi85hCzToiMmX7s3o/zuc9h hE7xpC2sr+MLGB19b64CBpVZXXlItke8Tb3geNCj96bisqxS455FGxBD/6KBbq4VSgfvvP9O 0OSHS0g/z2FTKHHE1bX6V86/SmSVcn6bzfNeCZflZI4GFGcPBAN3lxSBm5h2MdnTkbyg5WwF SUxrjEJugym9F0Vkrgub1+nFT2H7AawNmVqFt7FcEsQvlkEvwCPaYSf9r4hQHsep8Hn9V3Xb DTcPlQtbylBW1TYVQ+/eOD0uJ+YtbDfX7T2LuOSM+zW+aoHCKjOldT3ldE/tzeUapfWYSIkV qxnnBIFBTcgRaG7030OU3BFzXqcKZ7G4k7mqmsv6ZnguPXzBFC1vNXJVusUaIQ1vUjx2PbLN vbM1nwgd3ACjcJKniWOkP9GjTtww2l4fj2pW9zsrAbrS6Td0u9SBh8fMWZoMddQqrg71U9LM NLajdX80vh5iOQ0AhFLTw6pnMbhfsEML2ynUTGPTE+WKLSLIyHKyMDrcOu9T7NXluBdqxy3v 36SDUbiOj2JkzShWQqoNKlAiySSPRoWv4/YEF4lEW/4UNfvcQG2KvdyhDwyhKQ33zbEbDFNd zd7dExJo/ub6iYZyvRzFmpd72Z0eOmJnyHKiouQYp0SsPZtHmF1j7cAuCV8m+YTtnseAqUqy Xi3zJYmuVytn+iRxyAyVRNPrmwOn4eXpQB4Pq6f8JBcWHHC9RZL7GOKCh1MqcE2b7+n861W1 NXLk7r+bTlY9NeBt8IVHc/SLs2dOWtnNRvyBCX8Aw4MTDrtPmbazR848rna5jiOo542p4K50 oIJUaNeXUcpG+kyD01kGJkbI84yUGp7wPiUi8kH4Xf4px7UDpY/3NiPRreZBvPhLyychL9Pa k4TwL/2Go8UM5Xyx01oblQSdGHiFE/ZXNQLqSpkPFdcSKpl/313T2l10EXgOFrFCJ47EPe1m lsviVI7b71ypXHj5FA4IleMryw1whFZpA== IronPort-Data: A9a23:vlwGv6l12/jIXwEp2MsGTQbo5gxIIERdPkR7XQ2eYbSJt1+Wr1Gzt xJKXD2GOfjcamGhKdp3bI2/p04HvsLcxoRmGgZk/CEwRltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09UAbeSRWVvX4 4ui+JWHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /0KjaGoGCgND5TGs+0bDDtiExNiH7NvreqvzXiX6aR/zmXDenrohuxtVQQ4ZNJJvOlwBm5K+ LoTLzVlghKr3brnhuLmDLM23IJ6c5iD0IA34hmMyRnQBOwhR5bMWazbo9tZxysrrs9LFPfaI cEebFKDaTydO0AQZAxGUvrSms+xi0TVTT5Zo2mngosUvFLc/SZI3qPyZY+9ltuiHJ0JxC50v Fnu8Xz+Hg0bOca32zuA+GilwO7JhyLyHowIfJWz//tuxVmS3XA7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx37U/yC9ekAEz+r3mDsRoRHdFXFoXW9T1h1IKT2zuBV0cgfwdLQ9Ug6+0MRQ429 EGgyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVtVizUEiNFj5i8jXuqPA4bu0YKoQWCYL ySi6Xlh1+9K3Kbnwo3ipQif6w9AsKQlWeLc2+k6dmes7wc8fY38IoLxtgmd4vFHI4KUCFKGu RDoevRyDsheUvlhdwTXGI3h+Y1FAd7YYVUwZnYxR/EcG8yFoSLLQGypyGgWyL1VGsgFYyT1R 0TYpBlc4pReVFPzM/EuPNPuWp9ylve6fTgAahwyRooeCnSWXF/XlByCmWbNt4wQuBNxz/9na MfznTiEVC9LUfUPIMWKqxc1iOd3nEjSNEvcQpf0yxnP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PXlUg3eLChOkH/r9RPRXhUdiNTLc6t+6RqmhureFUO9JcJUK+Pn9vMuuVNw8xoqws/1 ijgBxcBlweu2C2vxMfjQikLVY4DlK1X9RoTVRHA937xs5T6SYrwvqoZabUterwrqL5qwfJuH qsKfsyBBrJETTGeo2YRapz0rYpDchW3hFLWb3D1PmRnJ5MwFRbU/tLEfxf08HZcAyeys/w4q eLy2w7eR60FWAk/Xt3db+iizg/qsHVEwLByUkLEL8N9YkLp9IQ2eSX9guVmcc4JIBTHgDCd0 l/OUxsfoODMpa4z8cXI1fjU9df3T7MmExMDTWfB7LuwOS3LxUaZwNdNALSSYDTQdGLo46H9N +hYyvfLNvdYzltHtoxLFakykfAz6t7pkL9tzgp+GULNYVn2WKhrJWOL3JUWu6BAmu1ZtA+xV h7d89VWI+/VasbsEVpUPQl8K+raiqBSlT7V4vA4Zk794XYvrraAVExTOTiKiTBcfOQpatJ7m b95tZ5E8RG7hzorLs2C0nJe+VOKIyFSSK4grJwbXNLmh1Z50F1EepCAWCb67IvVN4dJO0guZ yaX3e/M3usNgEXFdHU3GD7G2u8E3cYCvxVDzVkjIVWVm4qa2qVmgkUJqTlnHB5Iyhhn0v5oP jQ5PUNCI6jTrSxjg9JOXjzxFgxMbPFDFpcdF7fUeKzlo0iUuqjlKWQ8PaOU/xlc/TsDL35U+ 7aXzGujWjHvFC00Mu3eRmY9w8EPj/QonuEBpCxjN8uAFpg+JzHih8dCoEIW/gD/D5pZaFLv/ IFXESUZVUE/HSEVqqw/TYKd0Nz8jfxCyHNqGZlcwU/CIY0QlPxeF9RDx4Bdt/6h/8D3zHI= IronPort-HdrOrdr: A9a23:KAUnpK4Qbpq6iK1XJgPXwP3XdLJyesId70hD6qm+c20tTiX+rb HUoB17726NtN91YhsdcL+7Scy9qB/nhPxICMwqTNSftWrd2VdATrsSibcKqgeIc0bDH6xmtZ uIGJIOb+EYY2IK6/oSIzPVLz/j+rS6GWyT6ts2Bk0CcT1X X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,275,1654552800"; d="scan'208";a="50576392" X-MGA-submission: =?us-ascii?q?MDE8K/S4uj2CuJq72dxY4giewGlqM/d6CHb36h?= =?us-ascii?q?0/bBQN6TELu64q8zzf+xqVhyIF69HNmmOWVo6absDB4ro3iXTEGcpF1C?= =?us-ascii?q?yuUn4iZGp+neurCMtscStXBQff99rnM30W01GqMQF5QNazNutZhKBm3j?= =?us-ascii?q?8bzr3x/TQ3mtI4TqA1mxyp1g=3D=3D?= Received: from mail-qk1-f179.google.com ([209.85.222.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 Aug 2022 19:01:40 +0200 Received: by mail-qk1-f179.google.com with SMTP id g16so8880934qkl.11; Tue, 30 Aug 2022 10:01:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc; bh=NFe2bt7J7TEznIS7TYKl7IBvGCkB0puMnElSp74+qSw=; b=mL8izk4EOZ0pWGgRemOhFlpKFf/VggwbhYsBqN7vqgrUJ9uyU8PVzsN3oCNCAw3QO6 SVXwCdek6qfSU6NG0suOkLXZLKr6oGc8TVxuPLbWkIRRnGhXekSVJyfwftyn2AgXx5Y/ d6Mqcoce6of4QoRNWtKOuBOCWVikmNS8XQH/TxXXZt1VBOy6tpOr71ekZc9Pll+tQWlV 2P8VwaZxvLuKPMugvI2KyarD7Cb1KC61owyWCmbDa+EVU+1ZJXUNUD+NjrB80p0MvpGV uky1ad5L+2UFaGnshhA0hCYxaJIRFEFDZsWZRVXS3bQeRHlu0B4TO+goexz+n8XyjDnK lpwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc; bh=NFe2bt7J7TEznIS7TYKl7IBvGCkB0puMnElSp74+qSw=; b=wv57asV2PVpgJpRbrFqa2LrAAidtUYKpsekZaVtV6U6DUG3e3vSe7Ikk+mJnIn8lx0 IQa73XUNph/Z7u2X773EHyQiUkEWE2twjprIT9Me++orVCGF7X1kD1UsY6+a4xKiRffW JOZW7g/pwx3zBM+HDjuQzIW4zS55W0Jrs5Wu9iNWpx7arMt3mH00Y4y945T6bP1qh7xh v6aUoWjC36VOmu7L3YkVMmAhKSiIxVybNsOsLrEs8dSqVozhUxoAc+Hnj62IH7mZHxVc oULJWMrgmphSkOKyRO1WxUQofDj5y6NmZwaRqG+2NAsgk28iqL7jUfdsepF9oYEsqeeB nMyA== X-Gm-Message-State: ACgBeo1ezuUDDtgZcPxtYNp4Hg1bEseemXhhOfQJJj3QgnzH9qpmGHHZ 4QXKQNX6EWicWktpBJEcvztyXlqQKluCcabqQMfbmNBXG2A= X-Google-Smtp-Source: AA6agR6b6rdrk6zWBv0xj2c4ejpCJMi7goDjqh3+tXGmuaLvTYY7nNFomms7eCvrvs4bNoxi5GFRsSNQcB8Q9F7PVkA= X-Received: by 2002:a05:620a:22d3:b0:6be:87e1:ebe with SMTP id o19-20020a05620a22d300b006be87e10ebemr7280728qki.763.1661878898980; Tue, 30 Aug 2022 10:01:38 -0700 (PDT) MIME-Version: 1.0 References: <25e68e2c-04d2-7764-e189-00812c08a34a@inria.fr> <8078ad33-f220-b233-4863-06ce30cc8cff@inria.fr> <2C890C66-F8F7-402C-B88E-587C3E21DE89@mpi-sws.org> In-Reply-To: <2C890C66-F8F7-402C-B88E-587C3E21DE89@mpi-sws.org> From: Aaron Gray Date: Tue, 30 Aug 2022 18:01:20 +0100 Message-ID: To: Andreas Rossberg Cc: =?UTF-8?Q?Fran=C3=A7ois_Pottier?= , caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] coinductive data types On Tue, 30 Aug 2022 at 17:46, Andreas Rossberg wrote= : > > Hi Fran=C3=A7ois, >> I=E2=80=99m curious why you would categorise iso-recursive types as nomi= nal. I have always considered them structural as well, since two structural= ly matching iso-recursive type expressions are still deemed equivalent. Tha= t matters in so far as it makes them modular in a way that true nominal typ= es are not. > > Iso-recursive types would only behave like nominal in the degenerate case= where all type definitions occurring in the entire program (across module = boundaries) are tied into a single grand iso-recursive knot, I think. Are there any founding papers or books on isorecursive and equirecursive typing ? Aaron