News for hackers. Stuff that matters.

A comment on Interactive λ-Reduction. Parent comment

Re:Interactive λ-Reduction by danaugrs on Tuesday December 02, 2025 @12:26PM (#46123771)
I'm the author of the research paper (https://arxiv.org/abs/2505.20314) and owner of that GitHub account.

Please see my comment here: https://news.ycombinator.com/item?id=46069564

[ Parent | on HN ]

There are no comments on this comment yet.