I assume that's something similar to the Unison [1] programming language

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