Hi. I made my first zine, then translated it into English.
It's for nonprogrammers who care to learn what programming is, so I am not sure this is right place to share. However, the approach uses Racket (or Scheme) to explain the programming, so I hope I am not too far.
Fun, and it looks really nice! I wonder if you would be interested in Prabakhar Ragde's "Logic and Computation Intertwined", which builds a simple dependently-typed logical framework in Racket.