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 <[email protected]> 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: [email protected] <mailto:[email protected]> - SMS: > > +1.617.340.3661 <http://1.617.340.3661> > > Jabber/XMPP: [email protected] <mailto:[email protected]> - IRC: kxra > > @freenode @oftc @indymedia > > > > > > _______________________________________________ > > darcs-users mailing list > > [email protected] > > 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: [email protected] - SMS: +1.617.340.3661 Jabber/XMPP: [email protected] - IRC: kxra @freenode @oftc @indymedia
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
