index
:
ale
feature/doc_contrib
feature/open_list_num
fix/broken_golang_links
fix/lua-language-server_docs
fix/use_stable_rust
master
topic/docker-free_testing
topic/plls
wip/cargo_multifile
wip/lint_fail_err
wip/twig
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
cos
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ale_linters
/
idris
/
idris.vim
Age
Commit message (
Expand
)
Author
2018-08-02
Simplify the code for most linters and tests with closures
w0rp
2017-08-10
Add linter for Idris (#838)
Scott Bonds