Sujet : Online Playground for System F
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logicDate : 09. Jan 2025, 17:07:14
Autres entêtes
Message-ID : <vlos7h$2dj8n$3@solani.org>
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20
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.htmlGet some Brains!
Online Playground for System F
Julios Solution is Different, what is it? (Was: Online Playground for System F)