Binary Lambda Calculus [1] (produces an infinite list of booleans instead): λ(λ1... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tromp on Nov 1, 2022 | parent | context | favorite | on: Ask HN: What piece of code/codebase blew your mind...

Binary Lambda Calculus [1] (produces an infinite list of booleans instead):

    λ(λ1 (1((λ1 1)(λλλ1(λλ1)((λ4 4 1((λ1 1)(λ2(1 1))))(λλλλ1 3(2(6 4)))))(λλλ4(1 3)))))(λλ1(λλ2)2)

[1] https://tromp.github.io/cl/cl.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact