flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 23:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

tla

Browse Source
This commit is contained in:
Flancian
2021-03-08 18:34:16 +01:00
parent c17e177b08
commit a681f52c22
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
journal/2021-03-08.md
+3
View File
@@ -3,6 +3,9 @@
- [[work]] planning on 10-19:30 only, let's see - [[work]] planning on 10-19:30 only, let's see
- [[chess]] - [[chess]]
- [[proof game]] - [[proof game]]
- [[music]]
- [[pauline oliveros]]
- [[tla+]]
[//begin]: # "Autogenerated link references for markdown compatibility" [//begin]: # "Autogenerated link references for markdown compatibility"
[chess]: ../chess "Chess" [chess]: ../chess "Chess"
tla.md
+10
View File
@@ -0,0 +1,10 @@
# 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"