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 users who like the study of programming languages, formal semantics, types, or linguistics.