Y
Hacker News
new
|
ask
|
show
|
jobs
by
pramodbiligiri
26 days ago
There's a more accessible syntax for TLA+ called PlusCal:
https://learntla.com/intro/faq.html?highlight=pluscal#what-s...