Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267
stars
70
forks
source link
Ensure that Idris repl buffer window point is moved to end together with the buffer point #610
Closed
keram closed 1 year ago
when repl prompt is inserted.
Resolves: https://github.com/idris-hackers/idris-mode/issues/443
Solution provided by https://stackoverflow.com/a/14721382