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
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
