from Hacker News

The Verse Calculus: a core calculus for functional logic programming

by felixr on 12/12/22, 10:51 PM with 0 comments