# 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)
```