[darcs-users] A formalization of Darcs patch theory using inverse semigroups (apfelmus)

[Eric Kow]

Hi everybody,

Just forwarding some comments from Apfelmus regarding the recent paper
by Judah on Darcs patch theory
( http://www.math.ucla.edu/~jjacobson/patch-theory/ )

Thanks,

Eric

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
An embedded message was scrubbed...
From: Heinrich Apfelmus <apfelmus at quantentunnel.de>
Subject: Re: A formalization of Darcs patch theory using inverse semigroups
Date: Wed, 21 Oct 2009 21:40:58 +0200
Size: 5582
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20091028/221e6fff/attachment.eml>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20091028/221e6fff/attachment.pgp>