14 ms·
Sorry, I meant binary λ-calculus specifically. I can't quite wrap my head around what the hell it even does with its I/O.
by Joker_vD 2y ago
Sorry, I meant binary λ-calculus specifically. I can't quite wrap my head around what the hell it even does with its I/O.
- tromp 2y agoIf the IOCCC description [1] doesn't make it clear enough, perhaps this explanation [2] does it better? I also link to a Pi Day 2023 talk trying to explain it on my lambda playground page [3]. [1] https://www.ioccc.org/2012/tromp/ https://www.ioccc.org/2012/tromp/ [2] https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d8... [3] https://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html