search

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

Make Idris info buffer be derived from special mode #613

Closed keram closed 1 year ago

keram commented 1 year ago

Why: To reuse existing Emacs facilities and reduce complexity of idris-mode.

jfdm commented 1 year ago

Thanks for this, I'll merge this when the draft is not longer a draft.

keram commented 1 year ago

superseded by https://github.com/idris-hackers/idris-mode/pull/614