Shayan Hosseini

@dgryski Thanks for the question, I meant both Go and Scala code (we recently rewrote the compiler in Scala).

More precise description: ### `label` type In PlusCal and MPCal labels are static names and a variable cannot store a label. We propose a new type of variable that stores...

I agree that this is low priority and I just wrote it to not forget it. > It's intended to be read the same way as the MPCal, with handle[indices...]...

I think going with `nil` is a good choice and also it doesn't break the previous API.

Having `RECURSIVE` only would be really helpful for our 538B project to easily implement sum. Also wanted to note that our syntax highlighting currently doesn't support TLA+ 2 directives. We...

@fhackett should we close?

I don't exactly understand the rationale behind adding this. I think you're merging a set of events into one event, but they are actually different events. Is that for the...

How I can fix it?