Another revelation: lambda calculus can be reduced down to 4 primitive operations[0]. I had this revelation after a pilgrimage into the land of Binary Lambda C

Another revelation: lambda calculus can be reduced down to 4 primitive operations[0]. I had this revelation after a pilgrimage into the land of Binary Lambda Calculus[1], a binary encoding of lambda calculus that represents variables with numerical (de Bruijn) indices[2] in unary. Ultimately, 0 and 1 is all we need. ;) [0] https://jevko.github.io/writing/2023-07-23-revelation.html https://jevko.github.io/writing/2023-07-23-revelation.html -- the pun in the article (I'm the author) fits perfectly into the OP ;D [1] https://tromp.github.io/cl/Binary_lambda_calculus.html https://tromp.github.io/cl/Binary_lambda_calculus.html [2] https://en.wikipedia.org/wiki/De_Bruijn_index https://en.wikipedia.org/wiki/De_Bruijn_index