Follow

the following post is sponsored by a grant from the National Science Foundation

the previous post was sponsored by a grant from the National Science Foundation

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.