Hacker News new | ask | show | jobs
by pjc50 2874 days ago
> formal specification with proofs of correctness for its bidirectional syncing

Where can I find more information on this? Search is failing me.
1 comments
willtim 2874 days ago
There are lots of papers referenced in the "Mysteries of DropBox" paper above, but I think the full spec is here: http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf
link