• Online Playground for System F

    From Mild Shock@21:1/5 to All on Thu Jan 9 17:07:14 2025
    Dear Julio

    I told you a dozen times that the scope of
    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!

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Julio Di Egidio@21:1/5 to Mild Shock on Fri Jan 10 00:15:22 2025
    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!

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)