[darcs-users] Camp vs Darcs & the future of both

Kẏra kxra at riseup.net
Fri Aug 23 21:57:52 UTC 2013


Ah, interesting. The video explaining camp and dars states that the
projects will likely merge in the future. It's an old video though. It
would be cool to see Camp develop enough for Darcs to merge into it.


On Fri, Aug 23, 2013 at 5:39 PM, Ganesh Sittampalam <ganesh at earth.li> wrote:

> I've written a wiki page (contents copied below) with a brief
> perspective on the relationship between Camp and Darcs. If Camp
> developers or other darcs developers disagree please edit the page to
> add your thoughts: http://darcs.net/Ideas/Camp
>
> Ganesh
>
> [Camp](http://projects.haskell.org/camp/) is a separate project to Darcs.
>
> We expect ideas from Camp to feed into Darcs 3 but there's no current
> plan that Camp would actually become Darcs 3.
>
> Significant points about Camp:
>
>    * [repository format](http://projects.haskell.org/camp/repository)
>    * proofs/axiomatization
>    * better implementation of conflictors
>
> On 31/07/2013 21:32, Kẏra wrote:
> > Can someone explain the difference between the patch theory behind darcs
> > and that of camp?
> >
> > Also, I was previously under the impression that camp would be darcs v3
> > <http://darcs.net/Darcs3Wishlist> with new diff methods for binary
> > <http://bugs.darcs.net/issue1233> & word based
> > <http://bugs.darcs.net/issue2315> diffing, partial repo checkouts
> > <http://bugs.darcs.net/issue2329>, etc. but camp seems to be inactive so
> > I'm wondering what the 'plan' is now.
> >
> > Thanks!
> > Kẏra
> >
> > --
> > Board of Directors, Free Culture Foundation: www.freeculture.org
> > <http://www.freeculture.org>
> >
> > Web: kxra.info <http://kxra.info>  -  StatusNet Microblog:
> > http://identi.ca/kxra
> > Email: kxra at freeculture.org <mailto:kxra at freeculture.org>  -  SMS:
> > +1.617.340.3661 <http://1.617.340.3661>
> > Jabber/XMPP: kxra at riseup.net <mailto:kxra at riseup.net>  -  IRC: kxra
> > @freenode @oftc @indymedia
> >
> >
> > _______________________________________________
> > darcs-users mailing list
> > darcs-users at darcs.net
> > http://lists.osuosl.org/mailman/listinfo/darcs-users
> >
>
>


-- 
Board of Directors, Free Culture Foundation: www.freeculture.org

Web: kxra.info  -  StatusNet Microblog: http://identi.ca/kxra
Email: kxra at freeculture.org  -  SMS: +1.617.340.3661
Jabber/XMPP: kxra at riseup.net  -  IRC: kxra @freenode @oftc @indymedia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20130823/d76df794/attachment.html>


More information about the darcs-users mailing list