The Unclear Impact

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

blobfoxhappy I have a much more lightweight but functional Emacs config now

blobfoxsad I still don’t know Agda

replies
0
announces
0
likes
0