Hacker News new | ask | show | jobs
by amw-zero 138 days ago
TLA+ is around 30 years old.