12 lines
312 B
Markdown
12 lines
312 B
Markdown
# 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)
|
|
```
|
|
|