Liste des Groupes | Revenir à s logic |
You want definitions, here you got definitions.That's actually where I don't really know what I am doing (system F is inconsistent?! do *you* know anything at all?): as for Coq, if one doesn't know what one is doing in Coq, one doesn't know what formal logic and/or plain programming is...
In your case the Tool that makes you a Fool
is simply Coq. You don't know what you are doing!
Idiot = Julio the new Fool with Tool
Although I admit its interesting to see
that outside simply typed self application
exists. Even in System F.
Les messages affichés proviennent d'usenet.