[darcs-users] Master's Thesis about Darcs

Ian Lynagh igloo at earth.li
Thu Mar 26 13:48:16 UTC 2009


On Wed, Mar 25, 2009 at 09:58:34PM -0700, Jason Dagit wrote:
> Hello,
> 
> I recently posted a blog article containing the abstract and links to
> the full version of my thesis:
> http://blog.codersbase.com/2009/03/25/type-correct-changes-a-safe-approach-to-version-control-implementation/

Just skimmed it; on p23 (p34 of the PDF), when you say
    T1 o T2 = T1 o T2,
do you mean
    T1 o T2 = T2 o T1,
?


Thanks
Ian



More information about the darcs-users mailing list