Merge idris2-mode back into idris-mode

idris-hackers / idris-mode

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

Closed gallais closed 8 months ago

gallais commented 2 years ago

Let's see how this goes.

jfdm commented 2 years ago

This is interesting...

gallais commented 2 years ago

I gave up the idea of cherry-picking as that still leaves merge conflicts. Instead I am going full merge here: https://github.com/gallais/idris2-mode/pull/1

It's not passing the tests yet but it's not too far from being a working mode.