2023/05/13 11:07:30 PM UTC
realizing I need Emacs for playing around with Agda, I spent a good chunk of today declaring Emacs bankruptcy and setting up a new init.el
init.el
I have a much more lightweight but functional Emacs config now
I still don’t know Agda