Re: Honoring Raymond Smullyan

Hi,
I also understand that you want to make
Curry-Prolog since you have Coq before
your nose all the time. I don't mind.
Please continue expounding on Curry-Prolog.
I don't want to interrupt too much when
I posted about DSL. I said I post something
off topic when I posted about DSL, I said
its a side node. Thats quite unlike you who
posts something off topic, without even
knowing its off topic or that you produce
side notes.
Bye
Mild Shock schrieb:

Hi,
 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.
 But in System F it can make for example
∀F.F inhabitated. So it becomes logically
useless because anything can be proved.
 Maybe you should use more your Brain and less Coq?
But I understand its your new medium. But please
do not forget that a simpler medium like
 Prolog can also give you some insight.
 Bye
 Julio Di Egidio schrieb:

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

Julio wrote:
>
 > Why do you care so much about simply-typed?
>
What makes you think I care about simply-typed?
It was part of the MSE question you moron:

>

Can't you stay on topic?

>
Define topic.
>
-Julio
>