I've been studying type-level programming some more lately and seeing a missing seat encoded as "0" on my bus ticket gave me a good chuckle.

They must be on some kind of C diet still.

Sign in to participate in the conversation – a Fediverse instance for & by the Chaos community