/agda-template

Imperfect Agda project template using Nix

Primary LanguageNix

Agda project template using Nix

WIP

nix develop -c agda -v 2 src/hello.agda
# or
nix build

Editor support

VSCode

Broken: banacorn/agda-mode-vscode#81

Emacs

Agda people use Emacs, so this is probably what you should use.

In Doom Emacs' init.el, add (direnv) and (agda +local) features. You must have Agda installed globally, because Doom's Agda configuration is hairbrained to not work with direnv, which we need with graphical Emacs (on macOS). It goes without saying that you need direnv and nix-direnv installed and configured.

Doom Emacs

Useful shortcuts,

  • SPC m l - compile the buffer