It is me or types.pl has the cutest logo?
@abnv it's not just you
@haskal I wonder who made it. Any chance you know?
@abnv @132ikl i think
@haskal @abnv yea
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@abnv it's not just you