寻找 OCaml 缓冲区的大纲次要模式(使用 Tuareg 和 Merlin)
我缺少 emacs Tuareg 模式中的一项功能:当前 OCaml 缓冲区的轮廓以及顶级定义列表。 Coq 的 Proof General 模式中有一个类似的功能,我发现它非常有…
- 共 1 页
- 1
我缺少 emacs Tuareg 模式中的一项功能:当前 OCaml 缓冲区的轮廓以及顶级定义列表。 Coq 的 Proof General 模式中有一个类似的功能,我发现它非常有…
接受
或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。