Overview
Article URL: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/
Comments URL: https://news.ycombinator.com/item?id=49909056
Details
Points: 222
# Comments: 47
Source
Originally published at buttondown.com.
Technology
What TLA+ can and can't check
Key Takeaway
Article URL: https://buttondown. com/hillelwayne/archive/what-tla-can-and-cant-check/ Comments URL: https://news.
Frequently Asked Questions
What is "What TLA+ can and can't check" about?+
Article URL: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ Comments URL: https://news.ycombinator.com/item?id=49909056 Points: 222 # Comments: 47
Who reported this story?+
This story was reported by Hacker News Best.