3 ms·A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf]1 points by fanf2 1y ago