they let me teach a class for some reason. here it is. it's real

(abject fear)

this is what happens when your type theory is scrunge

RIP Hyacinth (2020-2022)
hello Hyacinth² (2022-)

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 :verified_dragon:'s choices:

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