dense-analysis / dense-analysis/ale
Add support for Agda
Open
new tool
- Dominant language
- Vim Script
- Stars
- 14k
- Forks
- 1.5k
- Avg merge
- 17h 49m
- Merged PRs (30d)
- 1
Description
**Name:** Agda
**URL:** https://github.com/agda/agda
Agda is a dependently typed programming language and I believe it is the most popular when it comes to building binaries out of dependently typed code.
It does have official emacs tools, in addition to its command line compiler.
As a dependently typed programming language it is probably the single most reliant on real time compile errors, and will be the only language I use without Ale support!
Its errors give row/column numbers :)
Contributor guide
Assessment
This issue has not been assessed yet.