SDF is a book I've been meaning to revisit, appreciate having an explanation of one of the problems written out here: a lack of super-concrete examples in the book did make it a little tough for me to penetrate on my previous (less mature) foray.
In the age of AI, I went old-school inspired by Hanson & Sussman's book "Software Design for Flexibility")
Meant for beginners. I'd appreciate all feedback!
Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules).