Ulf Ochsenfahrt wrote:
A wise man once said: Premature optimization is the root of all evil.
It was Tony Hoare, though Knuth popularized it. See: http://www.acm.org/ubiquity/views/v7i24_fallacy.html -- __ \/ o\ Paul Crowley, [EMAIL PROTECTED] /\__/ http://www.ciphergoth.org/ _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel