📕 subnode [[@flancian/tla]]
in 📚 node [[tla]]
tla+
- tla+ and tla get the same note I guess due to limitations with how [[foam]] handles special characters.
- "If you're interested in TLA+ I recommend https://learntla.com which uses the simpler notation PlusCal" -- from a [[hn]] comment in https://news.ycombinator.com/item?id=26385075.
📖 stoas
- public document at doc.anagora.org/tla
- video call at meet.jit.si/tla