Hacker News new | ask | show | jobs
TLA+ is easy if you know how to abstract (blog.fponzi.me)
3 points by federicoponzi 973 days ago