Incorrect Syntax Highlighting with Nested Comments - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Incorrect Syntax Highlighting with Nested Comments #36

Closed michaelmesser closed 3 years ago

michaelmesser commented 3 years ago

NestedComments

meraymond2 commented 3 years ago

This has been released in 0.0.8.