3 ms·Thanks for the pointer -- I played with Darcs back in the day. This looks interesting.by davepeck 17y agoThanks for the pointer -- I played with Darcs back in the day. This looks interesting.