search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

integration with linter #87

Open ghost opened 5 years ago

ghost commented 5 years ago

I think it’d be really cool if this package could integrate with the linter package (as well as having a setting to disable its own error display).

This way, it would benefit from a unified experience for visualizing and being able to jump to errors in projects, as well as allowing errors to be displayed in the minimap without much effort.

banacorn commented 5 years ago

Looks good! I'll see if I can do this after branch ocaml hits master!