【文件属性】：
文件名称：idris2-mode：Idris2的Emacs模式
文件大小：3KB
文件格式：ZIP
更新时间：2021-02-11 20:06:10
EmacsLisp
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为类型声明创建初始子句
Cc Cc案例
Cc Cm Make Case
Cc Cl Make Lemma
Cc Cs证明搜索
Cc Cd显示文档
Cc Cw Make With
【文件预览】：
idris2-mode-master
----LICENSE(1KB)
----idris2-mode.el(5KB)
----.gitignore(10B)
----README.md(648B)