Dafny
Dafny support.
LanguagesLanguage servers
How to install
With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.
You can also open the Extensions panel in the app and search for Dafny. The extension's id is dafny.
Don't have Forge Super yet? Download it here.
README
From the extension's repository, written by its authors and not by Mentenaz. See the source.
Dafny extension for zed
Uses dafny as a language server (some features are not supported as they require LSP extensions)
Syntax highlighting is bare bones, I just wrote highlights.scm to support stuff I use, if you can add a better one
it's always encouraged. The tree-sitter grammar is also not the best, but I couldn't find a better one