A toy parser for recreational λ-calculus
I have heard about λ-calculus as a computational model for long, but never got a chance to have an even recreational look at it. Today’s entry simply records the creating of the parser.
文章来源：
Author：Gee Law’s Blog
link：https://geelaw.blog/entries/de-bruijn-index-parser/?utm_source=feed&utm_medium=rss