Tulip @hazel@types.pl

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

what the actual fuck is this thing

like this.

\( \ll e \gg \) isn't quite right

new patreon tier

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

(abject fear)

what

got a letter from @ionchy

check this out I drew a line

this is what happens when your type theory is scrunge

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

i did the funny

oh yeah. it's all coming together

this pic goes so hard. feel free to screenshot

wh. what

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

actual algebra lecture today