Even on its own, that's hardly a "just" :P But Unison is a lot more: it has a model that makes distributed computing feel like native code, and a content-addre

Even on its own, that's hardly a "just" :P But Unison is a lot more: it has a model that makes distributed computing feel like native code, and a content-addressed code representation system that solves a ton of tooling problems around versioning and deploying code. It's one of the most legitimately novel and powerful language projects I've ever seen, and I'm not saying that lightly.