Comment by Joker_vD

3 days 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.

1 comment

Joker_vD

tromp 3 days ago

If 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/

[2] https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d8...

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