Bruce Stephens wrote: >>> Yup, it's because it's "monotonic" in nature you can only add, never remove. >> >> Does that have anything to do with why Monotone is called Monotone? > > No, not really. > > The original idea (IIRC) was that "monotone update" would always give > you a tree that was no worse than the one you had before. So you'd > have a tree that was monotonically improving in some useful sense (or > at least non-decreasing in quality).
Uh, really? 0_o I had thought for the past years that monotone meant just that… -- Lapo Luchini - http://lapo.it/ _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel
