XPost: sci.math   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Its from this paper:   
      
   The Verse Calculus:a Core Calculus for Functional Logic Programming   
   SIMON PEYTON JONES, Epic Games, United Kingdom   
   GUY STEELE, Oracle Labs, USA   
   https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf   
      
   Don't blame me for what they write.   
   But mostlikely your eruption is just from   
   a clueless Nazi Retard, namely the paid   
      
   troll you are, getting money from Putin.   
      
   Bye   
      
   Franz Sneijders schrieb:   
   > Mild Shock wrote:   
   >   
   >> We use “∃” to bring a fresh logical variable into scope, because we   
   >> really mean “there exists an x such that ···.”   
   >   
   > idiot, there is no any x over there. And it doesn't need to be a variable,   
   > a constant suffices.   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)