Re: [tlaplus] Recursive definitions of higher-order operators

Good to know about RECURSIVE in LET, thanks for the tip Ron!

References:
- Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Ron Pressler
- Re: Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Leslie Lamport
- Re: Recursive definitions of higher-order operators
  - From: Ron Pressler
- Re: Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Stephan Merz
- Re: [tlaplus] Recursive definitions of higher-order operators
  - From: Stephan Merz
- Re: [tlaplus] Recursive definitions of higher-order operators
  - From: Y2i
- Re: [tlaplus] Recursive definitions of higher-order operators
  - From: Stephan Merz
- Re: [tlaplus] Recursive definitions of higher-order operators
  - From: Ron Pressler