η

this is the mood when i think about types

update: this is now going in the header of quox (language)’s website. which i am not done making yet