Pijul is coming up with a watertight theory of version control, rather than Darcs patch theory.That said, both use patches, so maybe there will be some cross-polination.
I know they are doing a patch theory, but I was trying to mention that there’s nothing there that tries to implement Darc’s theory of patches. I may be adding more confusion than necessary, though.
Sounds like a cool project, but it doesn’t seem to be active anymore. The repo hasn’t been updated in two years and the mailing list is full of spam. Have the changes been merged into darcs already?
Did anyone ever manage to come up with a watertight formalization of Darcs’s patch theory?
Isn’t that what Pijul is trying to do?
Pijul is coming up with a watertight theory of version control, rather than Darcs patch theory.That said, both use patches, so maybe there will be some cross-polination.
Pijul is doing patch theory. They base it on pushouts.
I honestly don’t see how this helps, but they seem to be trying.
I know they are doing a patch theory, but I was trying to mention that there’s nothing there that tries to implement Darc’s theory of patches. I may be adding more confusion than necessary, though.
Camp has been working on a Coq proof of it.
Sounds like a cool project, but it doesn’t seem to be active anymore. The repo hasn’t been updated in two years and the mailing list is full of spam. Have the changes been merged into darcs already?