maiavictor/abstract-algorithm

Optimal evaluator of λ-calculus terms.

2 best points · 0 comments · 2 Hacker News posts · 286 GitHub stars · View on GitHub

Hacker News discussions

• Lamping's Abstract Algorithm (2 points, 0 comments, by LightMachine, 2017-07-25)
• “Turns out the Y-combinator has a normal form, surprisingly.” (2 points, 0 comments, by LightMachine, 2018-05-05)