learntla-v2 icon indicating copy to clipboard operation
learntla-v2 copied to clipboard
verified publisher icon hwayne

Feedback on WF and SF syntax

Open alxiong opened this issue 3 years ago • 1 comments

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

alxiong avatar Oct 20 '22 14:10 alxiong

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

hwayne avatar Oct 25 '22 22:10 hwayne