| ▲ | floxy 6 hours ago | |
| ▲ | gobdovan 5 hours ago | parent [-] | |
Yes! I put together some explanation and TLA+ related resources in this comment, the website is one of them: https://news.ycombinator.com/item?id=48075169 | ||
| ▲ | floxy 6 hours ago | |
| ▲ | gobdovan 5 hours ago | parent [-] | |
Yes! I put together some explanation and TLA+ related resources in this comment, the website is one of them: https://news.ycombinator.com/item?id=48075169 | ||