In addition to not being rigorous, it's utterly trivial stuff. This is like maki...

		jules on June 18, 2009 \| parent \| context \| favorite \| on: Darcs' Theory of patches In addition to not being rigorous, it's utterly trivial stuff. This is like making string concatenation difficult by calling it a monoid.