4 ms·Lol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(by thinkpad20 12y agoLol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(