-
@BrandonBloom the set of programs checkable by a given type checker is a strict subset of the set of all type-safe programs and whether your program is in that subset or not is a matter of... chance? faith?On twitter.com
❤️ 3 Favorites
Mood +4 🙂