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.
@132ikl @hazel This claim is disputed.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.