Personal fork of plfa/plfa.github.io
See original README.
This fork adds:
- Nix environment setup in
shell.nix - exercise solutions (in
solutionsbranch)
-
direnv set up in your shell.
-
lorri set up with daemon running.
-
Emacs with the following packages available:
- use-package
- direnv-mode
- agda2-mode
-
Add the following Emacs configuration:
(use-package agda2-mode :mode ("\\.l?agda\\'" "\\.lagda.md\\'"))
-
Run
direnv allow. This will build the environment declared inshell.nixand ensure that Emacs can find theagdabinary.