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
Inline `idris-get-line-num` by using native `line-number-at-pos` #566
Closed
keram closed 1 year ago
Why: To reduce complexity of codebase.
(line-number-at-pos &optional POSITION ABSOLUTE)
Probably introduced at or before Emacs version 22.1.