Closed johnyf closed 7 years ago
Thank you!
Can you provide me with a TLA+ specification using the new operators and keywords? I would like to include it in the unit test cases.
Thanks for merging this. Yes, sure. I will write some tests and open a PR.
Thanks again! As I am only using TLA+ quite infrequently I want to ensure thinks stay functional.
A few additions for more complete highlighting.