🌺 [ Dream Emacs 💜 ] My GNU🐮 Emacs configuration.
Why do you think that https://github.com/alhassy/org-agda-mode is a good alternative to .emacs.d
🌺 [ Dream Emacs 💜 ] My GNU🐮 Emacs configuration.
Why do you think that https://github.com/alhassy/org-agda-mode is a good alternative to .emacs.d