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 <gan...@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: k...@freeculture.org <mailto:k...@freeculture.org> - SMS: > > +1.617.340.3661 <http://1.617.340.3661> > > Jabber/XMPP: k...@riseup.net <mailto:k...@riseup.net> - IRC: kxra > > @freenode @oftc @indymedia > > > > > > _______________________________________________ > > darcs-users mailing list > > darcs-users@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: k...@freeculture.org - SMS: +1.617.340.3661 Jabber/XMPP: k...@riseup.net - IRC: kxra @freenode @oftc @indymedia
_______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
