From e3f7931b0abc4fe0c760ebdf98922261f0afc09c Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Sun, 4 Feb 2024 06:30:59 -0700 Subject: [PATCH] Add more daily notes. --- notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json | 4 ++-- notes/bash/robustness.md | 2 +- notes/logic/propositional.md | 6 +++--- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index 2c9b638..1365201 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -80,7 +80,7 @@ "bash/index.md": "3b5296277f095acdf16655adcdf524af", "bash/prompts.md": "61cb877e68da040a15b85af76b1f68ba", "bash/quoting.md": "b1d8869a91001f8b22f0cdc54d806f61", - "bash/robustness.md": "7ab094b95ba2bfa885adba8e9efedf68", + "bash/robustness.md": "f7d7e70db75fe6aedaf8ebd34d520b42", "bash/shebang.md": "9006547710f9a079a3666169fbeda7aa", "c/escape-sequences.md": "07f0811b0fff14f54f78abc33f2e6606", "c/index.md": "aa8a34c62e7bc284ff589e28609222dc", @@ -92,7 +92,7 @@ "journal/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180", "journal/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382", "logic/index.md": "3084b41fe1451259a0cf3e54560c2e85", - "logic/propositional.md": "45aee8bf688aa8fef4b136145085d38a", + "logic/propositional.md": "a79b51f04cf619d82886917e87169a5c", "lua/index.md": "26632dae1f852519e2f1af11d65c34eb", "nix/callPackage.md": "59796c480e2856fa7491f62ceb7e3c9c", "nix/index.md": "dd5ddd19e95d9bdbe020c68974d77a33", diff --git a/notes/bash/robustness.md b/notes/bash/robustness.md index 67e5885..0d37f6e 100644 --- a/notes/bash/robustness.md +++ b/notes/bash/robustness.md @@ -23,7 +23,7 @@ END%% %%ANKI Basic -What makes a self-contained shell script more reliable? +What makes a *self-contained* shell script more reliable? Back: There are no other files to misplace. Reference: Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 2023. [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf) diff --git a/notes/logic/propositional.md b/notes/logic/propositional.md index 0dc725f..9d2a25e 100644 --- a/notes/logic/propositional.md +++ b/notes/logic/propositional.md @@ -44,7 +44,7 @@ END%% %%ANKI Basic -How does Lean define propositional equality? +What does it mean for two expressions to be propositionally equal? Back: Expressions `a` and `b` are propositionally equal iff `a = b` is true. Reference: Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d. Tags: lean @@ -91,7 +91,7 @@ END%% %%ANKI Basic What name is given to operand $a$ in $a \Rightarrow b$? -Back: The antecedent +Back: The antecedent. Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. END%% @@ -99,7 +99,7 @@ END%% %%ANKI Basic What name is given to operand $b$ in $a \Rightarrow b$? -Back: The consequent +Back: The consequent. Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. END%%