Skip to content

k4rtik/whiley-lang

Repository files navigation

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.