Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
269
stars
70
forks
source link
Ensure Idris connection exist when running `idris-thing-at-point` #599
Closed
keram closed 1 year ago
Why: To improve user experience by avoiding unnecessary error. "Buffer X has no process"
Related to: https://github.com/idris-hackers/idris-mode/pull/594