Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268
stars
70
forks
source link
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. #636
Open
keram opened 2 months ago
Depends on https://github.com/idris-hackers/idris-mode/pull/634