Hi Alan, what do you think of the Unison project? [1] On the surface it's a structured editor for a type safe language in which it's impossible to write an inv

Hi Alan, what do you think of the Unison project? [1] On the surface it's a structured editor for a type safe language in which it's impossible to write an invalid program, but the author has some pretty lofty goals for it. [1] http://unisonweb.org/2015-05-07/about.html http://unisonweb.org/2015-05-07/about.html