STR-75: Lambda abstractions
Useful for passing higher order strategy arguments (can be implemented with lets as well).
Submitted on 29 April 2004 at 13:58
Issue Log
On 9 January 2013 at 16:55 Eelco Visser removed tag 0.22
On 9 January 2013 at 16:55 Eelco Visser tagged interesting
Log in to post comments