merlin

merlin

文章 0 浏览 0

寻找 OCaml 缓冲区的大纲次要模式(使用 Tuareg 和 Merlin)

我缺少 emacs Tuareg 模式中的一项功能:当前 OCaml 缓冲区的轮廓以及顶级定义列表。 Coq 的 Proof General 模式中有一个类似的功能,我发现它非常有…

不一样的天空 2025-01-13 15:54:41 2 0
更多

推荐作者

5397313

文章 0 评论 0

烟沫凡尘

文章 0 评论 0

一个破名字

文章 0 评论 0

萌︼了一个春

文章 0 评论 0

当爱已成负担

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文