Hacker News new | ask | show | jobs
by nonethewiser 35 days ago
TLA+ i think
1 comments
grg0 35 days ago
Correct. Also: https://www.learntla.com/
link