[bbcbasic]

It was a serious answer though. If your USP is your technology, using Lisp is meh, you better be using something that is like dynamite to the problem you are trying to solve. And the problem you are solving is more like high-frequency trading or data analysis not a peer-to-peer marketplace for rickshaw riders and their passengers.

[Ericson2314]

Oh I don't mean to imply you weren't serious. I'd be very scared if I was competing with someone using Agda and I wasn't.