this is what happens when your type theory is scrunge

really disliking the fact that I have to put this on my website now

post inference rules that look like they could go in the evangelion intro

Show older

hazel 💤's choices:

types.pl

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