This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.
@hazel Google Drive’s trash has changed. Items will be automatically deleted forever after they’ve been in your trash for 30 days.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.