Tablecat hacked

So someone hacked Tablecat's lounge and deleted all the threads.

Maybe someone should ignore language purity and write a better one. Not me though, I do nothing less than purely functional Lisp.

>>25

I said "let me guess", nigger

You did not say ""let me guess"" in >>22.

And you didn't tell me I guessed incorrectly

Yes, I can't say that you guessed incorrectly because I can't know.

That means I guessed correctly and you're not sure

No, this only means that I am not sure.

Because otherwise you would've already given examples of formal verification without dependent types

Formal verification without dependent types is a different topic, you changed the topic at >>18.

But you didn't, because you're a stupid nigger

I was not asked to.

To end this post, I never said that I have no idea "if dependent typing is necessary for formal verification".
You seem like a retard.