Hacker News new | ask | show | jobs
by majkinetor 98 days ago
Somewhat similar project is unison:

https://www.unison-lang.org/docs/the-big-idea