Comment by thyrsus

Is this the unison you mean? https://www.unison-lang.org/

Unrelated: what has your experience been using igneous-linearizer to help understand other people's code?