Re: Proving the: Simulating termination analyzer Principle

On 2025-04-05, Richard Heathfield <rjh@cpax.org.uk> wrote:

On 05/04/2025 23:20, olcott wrote:

...

The difference between us is that I know it and you don't.

Olcott resides in a fortress he built out of bricks that were
specially ordered from Dunning and Kruger's website.
You're not getting through.

--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca