Lapo Luchini <[EMAIL PROTECTED]> writes: > 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…
Yes, I think it was about monotonically non-decreasing quality, not about never removing stuff. _______________________________________________ Monotone-devel mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/monotone-devel
