Tower of Hanoi finishes the introduction that I would have wanted while learning Alloy. I'm now at a point where I have a good enough understanding of how to build models that explaining things to others no longer helps me learn. I'll now just post whatever models I work on over at github. If you're interested then just watch the repository for updates.
Classic DEV Post from May 7