Unisonについて、ここに記述してください。

https://www.unisonweb.org/

A friendly programming language from the future.

Unison is an open source functional programming language based on a simple idea with big implications: 
code is content-addressed and immutable.

https://www.unisonweb.org/docs

https://www.unisonweb.org/docs/quickstart