The internet discovers TLA+. Now what?16mmatt_d about 6 hours ago 7 commentsRead Article on reasonable.io DE version is available. Content is displayed in original English for accuracy.
Discussion (7 Comments)Read Original on HackerNews
https://news.ycombinator.com/item?id=48287718
With link to pdf, github