News for hackers. Stuff that matters.

A comment on Lambda Calculus in 400 Bytes.

Re:Lambda Calculus in 400 Bytes by uncomputation on Sunday February 27, 2022 @07:35PM (#30494592)
Anyone interested in BLC can find another introduction which I found personally helpful here: https://tromp.github.io/cl/Binary_lambda_calculus.html
[ Parent | on HN ]
Re:Lambda Calculus in 400 Bytes by tromp on Monday February 28, 2022 @04:47AM (#30498138)
Indeed; that's one of the 3 references listed at the bottom of the article:

> See Also

> https://tromp.github.io/cl/Binary_lambda_calculus.html

> https://www.ioccc.org/2012/tromp/hint.html

> https://github.com/tromp/AIT

[ Parent | on HN ]