▲ 1 pointsModeling Git Internals in Alloy, Part 3: Operations on Blobs and Treesbytes.zoneby surprisetalk·3y ago·0 comments·view on hn ↗