This page is part of the web mail archives of SRFI 110 from before July 7th, 2015. The new archives for SRFI 110 contain all messages, not just those from before July 7th, 2015.
Thank you for the exposition, very helpful! On 03/13/2013 09:58 PM, Alan Manuel Gloria wrote:
To help clarify this, please consider: a b c d ===> a ! b ! c ! d By symmetry: a b . d ===> a ! b ! . ! d And so: a b . (x y) ===> a ! b ! . ! (x y) And since: <* x y *> <==> ( x y ) Then: a b . ( x y ) ===> a ! b ! . ! ( x y ) ===> a ! b ! . ! <* x y *> Which is also equivalent to: a b . <* x y *>