nerf/agdaTemplate
Template
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 50 KiB
Find a file Use this template
Exact
Dennis Frieberg af1d158a63
 first working config
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

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)