search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

flycheck-like syntax checker #4

Open soonhokong opened 9 years ago

soonhokong commented 9 years ago

A simple version is working now. It shows errors and warnings line by line with markers on the gutter. It seems that there is a way to improve by highlighting rows: