Unison programming language

Has anyone here checked out Unison? It doesn’t have any connection to IPFS but a lot of the concepts are similar. I’d love to do something similar with WebAssembly. It’s immutable, content addressable code.

I like the concepts although I’m not sure how I feel about the language yet. Intriguing though.