Follow

types.pl admin announcement: we're randomizing the timeline

· · Web · 1 · 5 · 16

what does that mean? you'll have to find out

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.