search

TeamTilapia / vscode-tilapia

VS Code extension adding support for Leslie Lamport's TLA+ language
Other
14 stars 1 forks source link

Add GitHub project to this GitHub repo #5

Closed pmer closed 7 years ago

durantschoon commented 7 years ago

Dat waffle https://waffle.io/TeamTilapia/vscode-tilapia