Re: Online Playground for System F

On 09/01/2025 17:07, Mild Shock wrote:

Dear Julio
 I told you a dozen times that the scope of

You truly are just a spamming piece of shit.
Indeed now go back to sleep until I post my next one sporadic thing, then back to spamming your insanely automatic stupid shit all over the place for a couple of weeks, i.e. just as it's need to make me go away in disgust.
You fucking piece of retarded shit, I wish you, chat GTP, and the whole fucking corporate nazi-retarded interest that is paying the job an incorporated ass cancer.
*Plonk*
-Julio

my thread is simple types. Why don't you
open a separate thread for your fetish
 System F and/or Coq. I really don't care
about System F. You can play online with
System F here:
 https://crypto.stanford.edu/~blynn/lambda/systemf.html
 Get some Brains!