coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Shut Down PL

From: Klaus Ostermann <klaus.ostermann AT uni-tuebingen.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Shut Down PL
Date: Tue, 9 Jun 2020 22:04:51 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=klaus.ostermann AT uni-tuebingen.de; spf=Pass smtp.mailfrom=klaus.ostermann AT uni-tuebingen.de; spf=None smtp.helo=postmaster AT mx03.uni-tuebingen.de
Ironport-phdr: 9a23:OmO9CxBncGbQEdGfzWyeUyQJP3N1i/DPJgcQr6AfoPdwSPTzpMbcNUDSrc9gkEXOFd2Cra4d1qyP7vyrADVdqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5yIRmssAnctsYbjYR/JqosyhbCv2dFdflRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklCEKPCM//WrKiMJ/kbhbrQq8qRJhzY7aYIKbOvRwcazSf9wVWWVPU91NVyFDGI6wc5cDAuQDMOtesoLzp0EOrRy7BQS0Ae3vziVHhmLt3aYnyuohCh3G0xI6H9ILqnvUqtP1P7oVXOC2yKnH1yjDb+hM1Tf684jIbg4uoeuJXb1qd8rRz1IiFx7DjlWRsIDlIy6V2foWvGia6epgWvygi2g9pw5svDei38EhgZTGiYwJ0F7L7zl5wJorKt2iTk52edGpHZVNui2EKYd6X80sT3xstSs0xbMLt5y2cTYKxpkkyBDSa+CLf5aW7x/hV+ucJTh2iWxrdr+9mhu+7Uqtx+n6W8Kp01hKtjJInsTCu30CzRDf9NKLR/tn8ku/xDqC2Rjf5+5FLEwulafXMYAtz74wm5YJr0jPAzP6lUPrh6GMbEok4PKn6+H/b7XmuJCcM4h0hxn7MqUhhsCyD/40MhUIX2ia4Oi8yKDj8lPiT7VLiP02nbfWsJbAKcsGuKG1Gw5V0oA95BajFzqqzdoVkHYdIF5bYh6Kj5LlN0/TLP32Ffu/hk6jkDZvx/DIJL3hBZDNI2DAkLflZ7l99lVcxBA0zdBE+5JbFKsBIPfpVU/3stzVFQI5Mwq1w+r+FNV9y50RVnmOAq+fP6Pdr1mI6vgyLOaSfIMVoiryK+A55/7yin80gUMSfa6w3ZcOdH+4GulmLF6CbHr3gtYBFH8KsRAkQOzrjl2CSz9TaGyoU6Iy/DFoQL6hWIzEX8WmhKGL9Ca9BJxfIG5cWX6WFnK9VIGNRuxETzmOL9VkmzoCHeyiT4Y8zleprxP30b9uKOz85ysZ8I7+2dJ04eLek1c++GonXIymz2iRQjQszSszTDgs0fUn+BAv+hK4yaF9xsdgO5lL/foQAlUnM5+Z0/F3AdH0VQ/HONuEGg7/E4eWRAopR9d0+OcgJkN0GtGslBfGhnr4HrkU0qCWCZY19K3R2T79KpQkkiuU5Owal1AjB/B3Gyimi6p4rVOBAp6RyAOEkafvabkR1i/L+2qFi2aD7hlV

I for one would strongly prefer to keep politics out of this mailing
list, regardless of how "noble" (or not) the intent is.

Whoever claims to speak for the "PL community" does not speak in my
name. I do have
an opinion on these matters, but not in my role as a PL researcher.

Klaus Ostermann

[Coq-Club] Shut Down PL, Talia Ringer, 06/09/2020
- Re: [Coq-Club] Shut Down PL, Crime Master Gogo, 06/09/2020
  - Re: [Coq-Club] Shut Down PL, Beta Ziliani, 06/09/2020
    - Re: [Coq-Club] Shut Down PL, Arnaud Bailly, 06/09/2020
      - Re: [Coq-Club] Shut Down PL, Klaus Ostermann, 06/09/2020
        
        Re: [Coq-Club] Shut Down PL, Stefan Monnier, 06/09/2020
        
        Re: [Coq-Club] Shut Down PL, Tadeusz Litak, 06/09/2020
        
        Re: [Coq-Club] Shut Down PL, Derek Dreyer, 06/09/2020
        Re: [Coq-Club] Shut Down PL, Tadeusz Litak, 06/10/2020
        Re: [Coq-Club] Shut Down PL, Derek Dreyer, 06/10/2020
        
        Re: [Coq-Club] Shut Down PL, Christine Rizkallah, 06/10/2020
        
        Re: [Coq-Club] Shut Down PL, Randall Holmes, 06/10/2020
        Re: [Coq-Club] Shut Down PL, Talia Ringer, 06/10/2020
        Re: [Coq-Club] Shut Down PL, Yishuai Li, 06/10/2020
        
        Re: [Coq-Club] Shut Down PL, Dominique Larchey-Wendling, 06/10/2020