312 B
312 B
agdaTemplate
This is my agda project config template, use it if you want to. I will not provide documentation above the notes to myself, and it may or may not work at any given point in time.
- get the emacs config contained to the project
(require 'evil)
(evil-mode 1)
(load-theme 'dracula t)