Wed Mar 2 11:08:17 EST 2011


In the back of my head I've gotten interested in the mergin problem.
Mostly because of conflicts in source control, but also as a general
idea of data updates and the `what is a change' question.

I ran into Pierce's bidirectional programming work[2] before.  Seems
there is also a sync utility alled Unision[3] based on similar ideas.

[1] http://apps.ycombinator.com/item?id=2266071
[2] http://lambda-the-ultimate.org/node/2828
[3] http://www.cis.upenn.edu/~bcpierce/unison/