Feedback on WF and SF syntax

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!

https://www.learntla.com

Other

198 stars 40 forks source link

Open alxiong opened 1 year ago

alxiong commented 1 year ago

Consistent subscript on SF and WF
Troubleshooting hints for accidentally redefining them in TLA+ (which I tried to do while learning)

hwayne commented 1 year ago

I am obscenely behind, sorry, but I haven't forgotten this