Hacker Next
Modeling Git Internals in Alloy, Part 2: Commits and Tagsbytes.zone
126 points by surprisetalk 875 days ago | 17 comments