3 ms·
> I use Emacs agda-mode I think Emacs is basically required to use Agda, right? To the point that the set of Agda users is a strict subset of the set of Emacs
by Camillo 6y ago
> I use Emacs agda-mode
I think Emacs is basically required to use Agda, right? To the point that the set of Agda users is a strict subset of the set of Emacs users.
- gnulinux 6y agoPretty much, yes. It's not "required" required, but in order to use the stdlibrary (i.e. use Unicode chars) you need to use Emacs and Emacs mode is extremely useful to develop Agda code. You can still compile and type check using `agda` binary but that's pretty much the only thing you can do.