News for hackers. Stuff that matters.

A comment on Darcs - Another open source version control system. Parent comment

Re:Darcs - Another open source version control system by sanxiyn on Wednesday May 09, 2012 @03:27AM (#3947457)
Yes, the original theory was weak and not sound, but they worked on it. There is some initial work towards Coq formalization.

http://wiki.darcs.net/Theory

[ Parent | on HN ]

There are no comments on this comment yet.