HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by dmjio | Hacker News Reader
Parent
Full thread
dmjio
·
Allen, think it's time to switch to emacs ;)
View on HN
thinkpad20
·
Lol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(
Reply on news.ycombinator.com