Re: Honoring Raymond Smullyan

You sound like the same morons that say
golang is the key to the cloud, you cannot
do cloud computing without golang.
Are you a payed troll by some Coq mafia?
Julio Di Egidio schrieb:

On 08/01/2025 19:29, Mild Shock wrote:
 

You want definitions, here you got definitions.
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.

 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...
 -Julio