idris2模式 Idris2的Emacs模式。 将以下行添加到您的init.el文件中： (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)) 您还需要打开自动还原模式，因为Idris交