The post is up here, and we’ll see if posting later in the day helps with distribution. Please give a like or upvote if you happen to see it on twitter, reddit, etc.
Thank you to everyone who tried the binaries last week, and let me know if you see anything weird today!
Congrats!
All the changes are within the overall theme of “correct by construction” such that guarantees like “file writes can only happen when you have a valid project lock” are enforced by the type system.
It would be fab to hear about how these properties were achieved. They sound like they would be more applicable and valuable to more projects, and it’s less obvious how one might achieve them.