https://okmij.org/ftp/ML/generalization.html https://mukulrathi.com/create-your-own-programming-language/intro-to-type-checking/ https://pyre-check.org/ https://github.com/facebook/flow 🌱 Back to Garden