Friendly programming language with unique syntax and powerful type system
Friendly programming language from the future
unison
$ unison
$ unison run myprogram.u
$ unison --version