Semantics Syntax Highlighting does not Work for Agda 2.6.2

agda / agda-language-server

Language Server for Agda

MIT License

102 stars 17 forks source link

Closed L-TChen closed 3 years ago

L-TChen commented 3 years ago

As title.

banacorn commented 3 years ago

Semantics syntax highlighting has yet to be implemented by the language server.

L-TChen commented 3 years ago

There should be a warning somewhere ...

banacorn commented 3 years ago

Nope