search

dense-analysis / ale

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support
BSD 2-Clause "Simplified" License
13.52k stars 1.43k forks source link

Add support for Agda #2080

Open spiveeworks opened 5 years ago

spiveeworks commented 5 years ago

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 :)

spiveeworks commented 5 years ago

The following attempts to replace the emacs tool: https://github.com/derekelkins/agda-vim

It is a must have for other uses such as syntax highlighting, but isn't asynchronous and doesn't have in-line error highlighting... (only quick fix)

Up to you whether it's worth looking at