1
0
mirror of https://github.com/dense-analysis/ale synced 2024-12-26 08:02:25 +00:00
ale/ale_linters/dafny
w0rp d476578a40
Improve ALE project style checking
* The project style linter now runs while you type.
* Now the scripts for checking the project require blank lines.
* Many style issues have been found and fixed.
2018-09-04 16:51:18 +01:00
..
dafny.vim Improve ALE project style checking 2018-09-04 16:51:18 +01:00