Code accompanying the blog post http://languagengine.co/blog/so-you-want-to-write-a-type-checker/
BekaValentine/so-you-want-to-write-a-type-checker
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.