An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Why do you think that https://github.com/Likhon-baRoy/.emacs.d is a good alternative to org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Why do you think that https://github.com/Likhon-baRoy/.emacs.d is a good alternative to org-agda-mode