Are you thinking of something like this?:

https://www.unison-lang.org/