@fey we'll see! We need a long enough wall to hang it, after all.

@phoe It’s really quite something to see the Y combinator so beautifully calligraphed.

@phoe @zens That is astonishing and beautiful and formally provable and I am in awe.

@phoe another argument for lisp-1: no funcalls to scribe

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!