Whiley Lang VSCode Extension

"whiley-lang" extension for the Whiley Programming Language.

Features

• Syntax Highlighting

Release Notes

1.1.0

Switched to tmLanguage from Whiley's textmate plugin for fine-grained syntax highlighting.

1.0.0

Initial release of the extension based on WhileyEmacsMode.