[Ur] Functional infix operators ?

Adam Chlipala adamc at csail.mit.edu
Thu Mar 5 14:59:45 EST 2015


OK, I've pushed the patch that Gabriel sent me for adding these 
operators.  Thanks to everyone who contributed to the discussion!

(I decided not to worry for now about operator precedences.  A few 
checks of medium-sized existing code bases showed everything still 
working fine.)



More information about the Ur mailing list