spacemacs-agda:spacemacs 的一个小 agda 层

【文件属性】：

文件名称：spacemacs-agda:spacemacs 的一个小 agda 层

文件大小：3KB

文件格式：ZIP

更新时间：2024-07-14 11:55:43

EmacsLisp

Spacemacs 的 Agda 层 这是 spacemacs 的一个非常基本的 agda 层。 它使用agda-mode可执行文件自动加载 Agda-mode。 确保它在您的$PATH 。 在 OSX 上，您必须通过添加到dotspacemacs/init函数来执行此操作，因为 OS X 的 emacs 会忽略您的$PATH 。 (defun dotspacemacs/init () (add-to-list 'exec-path "~/.cabal/bin/") (add-to-list 'exec-path "~/bin/") ) 键绑定 这些松散地基于原始的 emacs 绑定（如果您需要它们仍然有效）。 按键指令 Mx命令 描述 mm agda2-load 加载 mC agda2-comple 编译 mQ agda2-q

【文件预览】：
spacemacs-agda-master
----packages.el(899B)
----README.org(3KB)
----extensions.el(2KB)