News for hackers. Stuff that matters.

A comment on How We Went from 30 Servers to 2: Go. Parent comment

Re:How We Went from 30 Servers to 2: Go by coldtea on Wednesday March 13, 2013 @05:27AM (#5367543)
>Not really. I'd place Agda or Coq above Lisp.

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

[ Parent | on HN ]

There are no comments on this comment yet.