search

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny
https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode
MIT License
23 stars 18 forks source link

Provide a schema for Dafny project files #474

Open keyboardDrummer opened 4 months ago

keyboardDrummer commented 4 months ago

Could use this: https://taplo.tamasfe.dev/configuration/developing-schemas.html#visual-studio-code-extensions