Comment Comment by chriseidhof Other people know a lot more about this, but IIRC Unison has some ideas that go in this direction: https://www.unison-lang.org parent chriseidhof 3 years ago
