The whole #github thing (no I'm not using any sleep over it ^^) re-kindled more interest int #darcs :3 "A formalization of #darcs patch theory using" inverse semigroups ftp://ftp.math.ucla.edu/pub/camreport/cam09-83.pdf
Show this thread
-
I remember checking the Darcs system and its "theory of patches" but back then there was no formalisation of it, it was just "hey, this looks sensible let's call it theory" (although my memory of it is very vague)
-
-
Mathematicians are going to "mathematiciate" :P
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.