News for hackers. Stuff that matters.

A comment on Does quantum theory imply the entire Universe is preordained?. Parent comment

Re:Does quantum theory imply the entire Universe is preordai... by dd1988 on Tuesday December 19, 2023 @06:35PM (#38703500)
Fascinating - familiar with basic lambda calculus, but trying to wrap my head around this. Can you link to anything that explains more about how this works?
[ Parent | on HN ]
Re:Does quantum theory imply the entire Universe is preordai... by tromp on Wednesday December 20, 2023 @03:22AM (#38706501)
A more readable form of the program is given at [1]. The tree contains all combinators built up from the single point basis A = λxλyλz. x z (y (λ_.z)), which is encoded as bit 0 (left branch), while bit 1 (right branch) encodes prefix application.

[1] https://github.com/tromp/AIT/blob/master/ait/allA.lam

[ Parent | on HN ]