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