Hacker News new | ask | show | jobs
by coldtea 4843 days ago
>Not really. I'd place Agda or Coq above Lisp.

Because more than 10 people have heard of and use Agda or Coq?