wow i should probably update this website. oh huh what's that

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

Show older

Tulip :verified_dragon:'s choices:

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