From 6b13487ca46b7cccb81187f1835e5d1c22c1f9a8 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Sat, 22 Jun 2024 16:33:44 -0600 Subject: [PATCH] Fix contraction flashcard. --- notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json | 4 ++-- notes/lambda-calculus/beta-reduction.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index eda61ad..6de17e4 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -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": { diff --git a/notes/lambda-calculus/beta-reduction.md b/notes/lambda-calculus/beta-reduction.md index c9c9995..9a39991 100644 --- a/notes/lambda-calculus/beta-reduction.md +++ b/notes/lambda-calculus/beta-reduction.md @@ -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). END%%