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*
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.