Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
269
stars
70
forks
source link
Add support for printing definitions of functions in Idris 2 #605
Closed
keram closed 1 year ago
Based on https://github.com/idris-community/idris2-mode/commit/4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97 by @gallais in idris2-mode
Demo (Idris2) https://user-images.githubusercontent.com/578608/210673182-3edfdddb-5b1f-4ad4-a129-e6da3622d1d2.mp4