945
Evil Ones
(lemmy.world)
Post funny things about programming here! (Or just rant about your favourite programming language.)
Javascript and not Coq?
There is also PHP
You Coqsucker.