Hello, I’ve been working through Types and Programming Languages, implementing each language with a figure in the book. So far I’ve done Boolean, Arith, TypedBoolean, and TypedArith. Before I get too far, I’d like some feedback on my approach, project structure, and how idiomatic the code is. Here’s the GitHub repo: https://github.com/zeckalpha/TaPL Thanks in advance! I’m aware of the OCaML implementation, and a few previous Haskell implementations, but learning by doing is important, plus there were things I didn’t like about the other implementations. -- Kyle Marek-Spartz