# 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.