Folds not supported about tla-web HOT 1 CLOSED

@oggy- Sorry for the delay, but I think this issue is at least partially addressed now. See a (slightly modified) working example here.

I added initial support for recursive function definitions (be2f721), so that should no longer be a blocker here. I modified the operator definitions in your example slightly to make argument names unique. In the example you gave, it seems there may be a few subtle issues around how the interpreter handles LAMBDA expressions in nested operator calls like this. These issues may need to be ironed out fully in the future. For now, though, a reasonable workaround seems to be manually enforcing uniqueness of operator argument names where necessary. You can see if this gets you unblocked for now.

from tla-web.