Comment by anonzzzies

Makes me think of Unison [0]. I never used it but I found it interesting to read about.

[0] https://www.unison-lang.org