Follow

Scheduled maintenance will be performed on 2020-12-23 (Wednesday, or "tomorrow") at 6PM EST. No more than an hour of downtime is expected.

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.