alygin.vscode-tlaplus-nightly

TLA+ Nightly

Deprecated Open VSX ↗

Total downloads

0

7d gain

0

Rolling weekly delta

Rating

- / 5

0 reviews

Version

-

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: alygin
Name: vscode-tlaplus-nightly
License: MIT
Homepage: https://github.com/alygin/vscode-tlaplus#readme
Repository: https://github.com/alygin/vscode-tlaplus.git
Reviews: -
Replacement: TLA+ (Temporal Logic of Actions)

Taxonomy

Categories

Programming Languages Snippets Formatters Other Debuggers

Description

TLA+ language support (Nightly)

Archive

Release history

25 latest releases