From a681f52c22cf160f96e3b3fdb0c62de957a69107 Mon Sep 17 00:00:00 2001 From: Flancian <0@flancia.org> Date: Mon, 8 Mar 2021 18:34:16 +0100 Subject: [PATCH] tla --- journal/2021-03-08.md | 3 +++ tla.md | 10 ++++++++++ 2 files changed, 13 insertions(+) create mode 100644 tla.md diff --git a/journal/2021-03-08.md b/journal/2021-03-08.md index bf52a0048..878a983b9 100644 --- a/journal/2021-03-08.md +++ b/journal/2021-03-08.md @@ -3,6 +3,9 @@ - [[work]] planning on 10-19:30 only, let's see - [[chess]] - [[proof game]] +- [[music]] + - [[pauline oliveros]] +- [[tla+]] [//begin]: # "Autogenerated link references for markdown compatibility" [chess]: ../chess "Chess" diff --git a/tla.md b/tla.md new file mode 100644 index 000000000..40dffbec6 --- /dev/null +++ b/tla.md @@ -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" \ No newline at end of file