types are so cool i wish the values that inhabit them were real

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.