emacs-agda2-mode 2.6.0.1 Emacs mode for Agda
This Emacs mode enables interactive development with Agda. It also aids the input of Unicode characters.
- Website: https://agda.readthedocs.io/en/latest/tools/emacs-mode.html
- License: Expat, Modified BSD
- Package source: agda.scm
- Patches: None
- Builds: x86_64-linux, i686-linux