Follow

types.pl is going down for scheduled maintenance on Tuesday, June 1, at 1 PM EDT, to likely 2 PM at worst.

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.