In particular, it was not at all clear what was meant by a "programming platform". Until I finally stumbled onto the description below, I thought it was just another web-based IDE.
> What is the Unison platform? At a high level, it consists of three components:
> * The Unison language: a powerful, typed, purely functional underlying programming language
> * The Unison editor: a rich, in-browser semantic editor for editing programs
> * The Unison node: the backend implementation of the Unison language, its typechecker, and the API used by the Unison editor and other remote nodes in the network
> The collection of Unison nodes (the Unison web) form a network platform in which data and functions may be trivially exchanged, with a minimum of friction.