If I understand it correctly it's like Typed Racket with a purely functional AST...

mtrimpe on May 8, 2015 | parent | context | favorite | on: Unison: a next-generation programming platform

If I understand it correctly it's like Typed Racket with a purely functional AST which is also a content-addressable Merkle-tree and a UI with paredit-style type correctness.

vinodkd on May 8, 2015 [–]

this was strangely entirely grokkable, thanks.