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
[chore] Update changelog, readme and contributors files with the latest changes in master branch. #616
Closed
keram closed 1 year ago
To see the changes visually best to visit the files:
https://github.com/keram/idris-mode/blob/changelog-update/CHANGES.markdown
https://github.com/keram/idris-mode/blob/changelog-update/readme.markdown#flycheck-asynchronous-syntax-checks-in-buffer
Assumes also merge of https://github.com/idris-hackers/idris-mode/pull/614