Re:Mastering Dyalog APL
by floxy on Sunday May 24, 2026 @11:17AM
(#48257947)
https://lamport.azurewebsites.net/tla/tla.html ?
[ Parent
| on HN ]
Yes! I put together some explanation and TLA+ related resources in this comment, the website is one of them: https://news.ycombinator.com/item?id=48075169