every day i wake up and i have to fucking reify
@hazel is that even a thing
@yomimono it is in the dependent typechecker i'm writing rn
@hazel i don't know what reify means but one time i was running an npm install and "reify" was a build step so that's what i'm thinking of
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@hazel is that even a thing