agda-mode agda-mode on Atom

授权协议：MIT License操作系统：跨平台开发语言：JavaScript

agda-mode on Atom For people who dont wanna use Emacs for whatever reasons. ⚠️ Project status ⏸️...