Repository for the "Building a Typechecker from scratch" class - View it on GitHub