Follow

Oh wait I have to go to campus tomorrow. I have office hours lmao

Sign in to participate in the conversation
types.pl

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