Lisp is a practical family of languages meant for high-level work on a machine with a lot of resources. What would take 5 million lines in C only takes 5 thousand in lisp.
Name:
Anonymous2015-01-14 2:13
>>3 Because they're secretly using Agda and don't want you to know about it.