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).

[1] https://tromp.github.io/go.html

Cool! I love how this written and how powerful that whole approach feels for teaching/learning.