News for hackers. Stuff that matters.

A comment on Software Foundations. Parent comment

Re:Software Foundations by thinkpad20 on Saturday May 31, 2014 @06:55PM (#7827539)
Lol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(
[ Parent | on HN ]

There are no comments on this comment yet.