happy 2nd birthday to types.pl
@132ikl wait what
@132ikl thats the 24th
@hazel no thats types.pl's 1st birthday
@132ikl is this the domain name purchase
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.