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.

>>13

Agda

Shalom!
http://stackoverflow.com/questions/9692445/agda-as-a-programming-language

I get an executable program named "hello" with size 19.1M.

Now, that's what I call progress.
How about ada instead?