FStarLang/fstar-layer

Spacemacs layer for fstar (wrapper for fstar-mode.el)

语言：Emacs Lisp · GitHub 星标：10 · Fork：5

在 GitHub 上查看原仓库