logoalt Hacker News

oa335yesterday at 6:38 PM0 repliesview on HN

What are the downsides as compared to TLA+?