No description
src | ||
.gitignore | ||
flake.nix | ||
LICENSE | ||
project.agda-lib | ||
README.md |
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)