The Unison languagehttps://www.unison-lang.org/ dev dev A friendly programming language from the future.
