On Thu, Jun 4, 2009 at 8:37 AM, Mark Reid <mark.r...@gmail.com> wrote: > > Hi, > > Maybe I'm missing something but doesn't + fit the bill (or any > symmetric function)? > > (== (reduce + 3 [1 2 3]) (reduce + 3 [3 2 1])) ;; => true > > In this case f = g = + and a0 = b0 for any choice of a0 and v.
I think he can't choose f to be +. He said f was a given. -- Michael Wood <esiot...@gmail.com> --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
