Follow

Resource: There's this thing you can't do. We've proven it.
Me: I don't believe you.

Me, two days and multiple counterexamples later: okay now I believe you.

I don't have intuition for anything and I'm *Arthur gripped fist meme*

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.