No description
Find a file Use this template
2025-05-29 15:48:24 +02:00
src first working config 2025-05-29 15:48:24 +02:00
.gitignore Initial commit 2025-05-25 14:53:32 +02:00
flake.nix first working config 2025-05-29 15:48:24 +02:00
LICENSE Initial commit 2025-05-25 14:53:32 +02:00
project.agda-lib first working config 2025-05-29 15:48:24 +02:00
README.md first working config 2025-05-29 15:48:24 +02:00

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)