every day i wake up and i have to fucking reify

· · Web · 2 · 4 · 9

@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

Sign in to participate in the conversation

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