This post briefly tours resources that helped introduce me to type theory, because I’m frequently asked by others for resources on this subject (even though I never had a formal education in type theory). Specifically, these resources will focus more on how to implement a type checker or type inf…
GitHub – tfausak/rampart: Determine how intervals relate to each other.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.