🎀
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
I have a much more lightweight but functional Emacs config now
I still don’t know Agda
- replies
- 0
- announces
- 0
- likes
- 0