On Wed, May 26, 2010 at 11:01 PM, Ben Lippmeier <b...@ouroborus.net> wrote: >> While we can all acknowledge the technical impossibility of identifying the >> original source language of a piece of code... > > > Uh,
∀p (PieceOfCode(p) -> CanIdentifySourceLanguage(p)) is clearly false, while ∃p (PieceOfCode(p) -> CanIdentifySourceLanguage(p)) is clearly true. Natural language does a rather poor job of making quantification unambiguous. - C. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
