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.

>>24
I said "let me guess", nigger. And you didn't tell me I guessed incorrectly. That means I guessed correctly and you're not sure. Because otherwise you would've already given examples of formal verification without dependent types. But you didn't, because you're a stupid nigger. Your place is in Ferguson, burning down cars and robbing stores for no reason.