文件名称：idris2-mode：Idris2的Emacs模式
文件大小：3KB
文件格式：ZIP
更新时间：2024-03-03 13:52:50
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)