query:

↳ on the Internet: Google | DuckDuckGo | Searx | Wikipedia

↳ in this Agora ⬎

📚 node [[tla]]

📓 garden/flancian/tla.md by @flancian ️👁 ️📝

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

⥱ context

← back
(none)

↑ pushing here
(none)

↓ pulling this
(none)

→ forward
foam
hn

⥅ related node [[gitlab]]

⥅ related node [[2006 10 19 going to portland drupal identity and geek dinners]]

⥅ related node [[arti walker peddakotla]]

⥅ related node [[scatland]]

⥅ related node [[trustlamp]]

⥅ related node [[beetlang]]

⥅ related node [[gitlab pages]]

⥅ related node [[cloud atlas]]

⥅ related node [[outlandish]]

⥅ related node [[publishing org roam via gitlab ci]]

⥅ related node [[scotland]]

⥅ related node [[20210506164244 mid_atlantic_accent]]

⥅ related node [[portland zebras 2021 07 15]]

⥅ related node [[portland zebras 2021 07 22]]

⥅ related node [[portland zebras 2021 09 02]]

⥅ related node [[portland zu 2021 07 29]]

⥅ related node [[portland zu 2021 09 16]]

⥅ related node [[portland]]

⥅ related node [[portland apparel lab]]

⥅ related node [[zu portland 2021 07 08]]

🔎 full text search for 'tla'