[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Recursive definitions of higher-order operators
From
: Y2i <
yur...@xxxxxxxxx
>
Date
: Sun, 6 Dec 2015 07:34:45 -0800 (PST)
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:
bongiovanni francesco
Re: Recursive definitions of higher-order operators
From:
Ron Pressler
Re: Recursive definitions of higher-order operators
From:
Leslie Lamport
Prev by Date:
Re: How to check if a variable increases or stays the same at each new state?
Next by Date:
Re: Recursive definitions of higher-order operators
Previous by thread:
Re: quick question about TLA
Next by thread:
Re: Recursive definitions of higher-order operators
Index(es):
Date
Thread