Comment by dgoldstein0

Anyone know what the "zapped" they mention as a form of typechecking is? I'd like to learn more about that and the tools that do that