https://futureofcoding.org/ logo
#thinking-together
Title
# thinking-together
l

Lukas Süss

10/25/2023, 9:06 AM
Here's the big omega combinator as annotated lambda diagram. Plus showing how the (here non-terminating) evaluation could be fluently animated. 🤤 ( John Tromps unannoteed version here: https://tromp.github.io/cl/diagrams.html )