package

vscode-extension-FStarLang-fstar-vscode-assistant

Description

Interactive editing mode VS Code extension for F*

Metadata

Version

0.20.0

License

Status

Source

pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix:11

Homepage

https://github.com/FStarLang/fstar-vscode-assistant

Maintainers (1)

Parrot7483