Crafting Interpreters in Typed Racket(micahcantor.com)

https://www.micahcantor.com/blog/crafting-interpreters-typed-racket/