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


[//begin]: # "Autogenerated link references for markdown compatibility"
[foam]: foam "Foam"
[hn]: hn "HN"
[//end]: # "Autogenerated link references"