The Verse Calculus: a core calculus for functional logic programming | Dark Hacker News