News for hackers. Stuff that matters.

A comment on Software Foundations. Parent comment

Re:Software Foundations by dmjio on Saturday May 31, 2014 @03:15AM (#7825469)
Allen, think it's time to switch to emacs ;)
[ Parent | on HN ]
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 ]