Gregory's Server@rooster @Elizafox @terrafiedkestrel meanwhile I’m sitting over here with my PhD focused on programming language design (with some of that indeed being type theoretic) like :blobcatsweats: no but seriously my head is empty just let me have this :blobcatnotlikethis:
@rooster @terrafiedkestrel and now my wife is giving me headpats because she baited me by asking me what type theory was after I sent her that over Discord and I fell for it :blobcatnotlikethis: