A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] leafpetersen.com 1 points by fanf2 10 hours ago