Excellent discussion of a Unison meetup, discussing their design (globally consistent content-addressed codebases!), type system, and tooling: https://unisonweb.org/2019-04-04/first-meetup.html#post-start
It's really impressive how much they've achieved.
