Follow

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

· · Web · 1 · 2 · 8

@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 programming language theorists and mathematicians. Or just anyone who wants to hang out.