A toy interpreter for recreational λ-calculus
Continuing the last entry. I wrote a reducer of lambda terms (normal order, call-by-need).
文章来源：
Author：Gee Law’s Blog
link：https://geelaw.blog/entries/lambda-calc-interpreter/?utm_source=feed&utm_medium=rss