[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Recursive definitions of higher-order operators

From: bongiovanni francesco <bongi...@xxxxxxxxx>
Date: Thu, 7 Jan 2016 08:08:26 -0800 (PST)
References: <75f4c1c5-52ee-4f44-a2fa-8dbadc6599ec@googlegroups.com>

Hi everyone,

I was wondering, how a Reduce (or Fold) operator would look like in TLA+ ?

Thanks

- Francesco

On Sunday, 6 December 2015 16:34:46 UTC+1, Y2i wrote:

Just wanted to ask if there are plans to support recursive definitions of higher-order operators in the future?

Thank you,
Yuri

Follow-Ups:
- Re: Recursive definitions of higher-order operators
  - From: Ron Pressler

References:
- Recursive definitions of higher-order operators
  - From: Y2i

Prev by Date: Re: Tagged formulas
Next by Date: Re: Recursive definitions of higher-order operators
Previous by thread: Re: [tlaplus] Recursive definitions of higher-order operators
Next by thread: Re: Recursive definitions of higher-order operators
Index(es):
- Date
- Thread