Closed kwccoin closed 1 month ago
Are you referring to this article? It discusses a lambda calculus interpreter that runs on ISLisp.
https://medium.com/@kenichisasagawa/from-lisp-to-lambda-calculus-a-journey-of-discovery-eb0198d8d07a
Eventually, I plan to write about your question on Medium.
After watching your lambda calculus and his video (he seemed to have an old version decade ago in Android if that is the lisp I tested).
Basic question but seems needed. Especially for English speaker.