Follow

I've played BOTW for 55 hours over the past 10 days and I'm sure I'll log over 1000 more in the following year

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.