3 ms·
I always thought the correctness aspect of Darcs was very weak, from what I remember most of the original "patch theory" wasn't sound
by tonfa 14y ago
I always thought the correctness aspect of Darcs was very weak, from what I remember most of the original "patch theory" wasn't sound
- sanxiyn 14y agoYes, 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 http://wiki.darcs.net/Theory