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.

>>15
You don't need dependent typing to have formal verification.