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交互式编辑命令会更新磁盘上的文件。 指令 Cc Cr重装文件 Cc Ct显示类型 Cc Ca为类型声明