search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Specify wordPattern in the language configuration #49

Closed aabounegm closed 1 year ago

aabounegm commented 1 year ago

To help VS Code recognize identifiers in Rzk for completions and hover. (The first commit is not related, but I forgot I had it)

Fixes #47