3 ms·The Epic Verse calculus: a core calculus for functional logic programming7 points by fanf2 1y ago