the time has come in the class i'm teaching about type theory where i go "so we're doing dependent types now. everything i have told you is either a lie or a massive oversimplification."

· · Web · 1 · 1 · 14

@hazel how shall the procedurally generated background music change

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.