▲ 3 pointsA denotational interpreter for a λ-calculus-based languagematt.might.netby ColinWright·15y ago·0 comments·view on hn ↗