Hacker News new | ask | show | jobs
by rauljara 32 days ago
Anyone know what language is being used in the blogpost?
1 comments
nonethewiser 31 days ago
TLA+ i think
link
grg0 31 days ago
Correct. Also: https://www.learntla.com/
link