Albert Y. C. Lai <trebla <at> vex.net> writes: > Quantifiers are complicated, but I don't see how explicit is more so > than implicit. [...] I have just seen recently [...]
Great example. I completely agree. My feeling is that mathematicians use this principle of leaving out some of the quantifiers and putting some others in the wrong place as a cultural entry barrier to protect their field from newbies. Well, not "use", but "willingly tolerate", perhaps. (I do have a diploma in mathematics, from a German university.) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
