Emacs mode for Idris2.
Add the following lines to your init.el file:
(add-to-list 'load-path "directory where idris2-mode.el resides")
(autoload 'idris2-mode "idris2-mode" "Idris2 Mode." t)
(add-to-list 'auto-mode-alist '("\\.idr\\'" . idris2-mode))
You will also need to turn on auto-revert-mode, since the Idris interactive editing commands update the files on disk.
C-c C-rReload FileC-c C-tShow TypeC-c C-aCreate an initial clause for a type declarationC-c C-cCase SplitC-c C-mMake CaseC-c C-lMake LemmaC-c C-sProof SearchC-c C-dShow docsC-c C-wMake With