N
Hacker Next
new
show
ask
jobs
submit
login
Modeling Git Internals in Alloy, Part 2: Commits and Tags
bytes.zone
126 points by
surprisetalk
441 days ago
|
17 comments
add comment