Colorizer that looks like the TLA+ toolbox - Githubissues

TeamTilapia / vscode-tilapia

VS Code extension adding support for Leslie Lamport's TLA+ language

Other

14 stars 1 forks source link

Colorizer that looks like the TLA+ toolbox #13

Open pmer opened 6 years ago