yaene / vscode-twelf-lang Goto Github PK

Words including type will be highlighted on these substrings. For example, atypebtypec will be highlighted on two substrings of type, while a, b and c remain white. I believe the expected behavior is not to highlight this word.

At the moment only syntax highlighting for simple assignments such as
a = b.
works.

Support for assignments of the form
a: t = b, with a type annotation should be added.
They are not marked as assignments as of now but like rules of the form
rulename: a -> b -> judgement.