Follow

This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.

· · Web · 1 · 1 · 6

@hazel Google Drive’s trash has changed. Items will be automatically deleted forever after they’ve been in your trash for 30 days.

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.