better-comments icon indicating copy to clipboard operation
better-comments copied to clipboard

Published 20 hours ago • verified publisher icon aaron-bond

Add TLA+ and PlusCal support

Open alygin opened this issue 3 years ago • 1 comments

This PR adds support for the TLA+ formal specification language and its satellite PlusCal language.

alygin avatar Oct 22 '20 17:10 alygin

What is missing before this PR can be merged? I'm happy to take this on.

lemmy avatar Aug 31 '21 21:08 lemmy