https://github.com/srid/agda-template
Imperfect Agda project template using Nix
https://github.com/srid/agda-template
Last synced: 8 months ago
JSON representation
Imperfect Agda project template using Nix
- Host: GitHub
- URL: https://github.com/srid/agda-template
- Owner: srid
- Created: 2021-12-11T15:52:13.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-05-14T22:36:30.000Z (about 4 years ago)
- Last Synced: 2025-01-31T12:05:57.024Z (over 1 year ago)
- Language: Nix
- Homepage:
- Size: 9.77 KB
- Stars: 9
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Agda project template using Nix
WIP
```sh-session
nix develop -c agda -v 2 src/hello.agda
# or
nix build
```
## Editor support
### VSCode
Broken: https://github.com/banacorn/agda-mode-vscode/issues/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](https://github.com/hlissner/doom-emacs/blob/f458f9776049fd7e9523318582feed682e7d575c/modules/lang/agda/config.el#L3-L8) 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