New blog post: Composing TLA+ Specifications
Description
Post here! It's a really advanced TLA+ technique that I'm sure will alienate 90% of my readers. Patreon here.
Anyway, I'm off to get a bone graft. Proper newsletter will come later this week when I've got more time to write.
There was no content provided. You can visit the original post here.