r
/
notebook
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix contraction flashcard.

c-declarations
Joshua Potter 2024-06-22 16:33:44 -06:00
parent b9b680585e
commit 6b13487ca4
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
View File

@ -536,7 +536,7 @@
"set/functions.md": "9fc813971de5fdda7aaac0cf91a721ad",
"_journal/2024-06-15.md": "92cb8dc5c98e10832fb70c0e3ab3cec4",
"_journal/2024-06/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307",
"lambda-calculus/beta-reduction.md": "7d001ad86d3fd77a83c0df99bcc2597b",
"lambda-calculus/beta-reduction.md": "5ea9b74d57074c699086db060fb86d50",
"_journal/2024-06-16.md": "ded6ab660ecc7c3dce3afd2e88e5a725",
"_journal/2024-06/2024-06-15.md": "c3a55549da9dfc2770bfcf403bf5b30b",
"_journal/2024-06-17.md": "63df6757bb3384e45093bf2b9456ffac",
@ -552,7 +552,7 @@
"_journal/2024-06/2024-06-19.md": "363852585ef0c6e7e8ee250b3ec7fc38",
"_journal/2024-06-21.md": "12e37e2c57abab09c781b32793fbbe1a",
"_journal/2024-06/2024-06-20.md": "12d4d8cc2f6dfa37b8d2c09095c5e636",
"_journal/2024-06-22.md": "c389e4a19d3c498f68cabb1e84bc3213",
"_journal/2024-06-22.md": "8f566883a70458a20d9c750065ce4025",
"programming/ars.md": "70cfc820968cc24d9f0198bc98f5f9a2"
},
"fields_dict": {

4
notes/lambda-calculus/beta-reduction.md
View File

@ -260,8 +260,8 @@ END%%
%%ANKI
Basic
How many $\beta$-reductions can a term have?
Back: One or more.
How many contractions can make up a $\beta$-reduction?
Back: Zero or more.
Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf).
<!--ID: 1719065602215-->
END%%