I thought I was playing a silly little game about looking for my brother not receiving a violent call-out for my teenage years

Woah this site supports the closure-finite weak complices.

types.pl

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