Follow

ohohohoho, I see topology memes in the timeline
but do tell me, if you know
when are we doing bottomology memes

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.