search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
269 stars 71 forks source link

Add emacs 26.1 to travis matrix. #487

Closed jsoo1 closed 5 years ago

jsoo1 commented 6 years ago

Now that 26.1 is the current emacs release, might as well test it.