From c7e4db3c210ce4c4ed4b31959215fbade56a1b69 Mon Sep 17 00:00:00 2001 From: zacharybonagura <157537291+zacharybonagura@users.noreply.github.com> Date: Sun, 27 Oct 2024 18:41:38 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=209f1f8?= =?UTF-8?q?bf7b0eacb28b066f6bd5abaab4da1647239=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- index.html | 10 ++--- pkg/aris_web_app.d.ts | 10 ++--- pkg/aris_web_app.js | 36 +++++++++--------- pkg/aris_web_app_bg.wasm | Bin 1525389 -> 1529972 bytes pkg/aris_web_app_bg.wasm.d.ts | 10 ++--- proofImages_dark/Biconditional Complement.png | Bin 0 -> 5082 bytes .../Biconditional Contraposition.png | Bin 0 -> 4110 bytes proofImages_dark/Biconditional Identity.png | Bin 0 -> 5246 bytes proofImages_dark/Biconditional Reduction.png | Bin 0 -> 11022 bytes proofImages_dark/Conditional Absorption.png | Bin 0 -> 7642 bytes ...tional Equivalence.png => Equivalence.png} | Bin proofImages_dark/Half DeMorgan.png | Bin 0 -> 12899 bytes ...ts and Knaves.png => Knights & Knaves.png} | Bin .../Truth-Functional Consequence.png | Bin 3555 -> 3268 bytes .../Biconditional Complement.png | Bin 0 -> 4076 bytes .../Biconditional Contraposition.png | Bin 0 -> 4061 bytes proofImages_light/Biconditional Identity.png | Bin 0 -> 4184 bytes proofImages_light/Biconditional Reduction.png | Bin 0 -> 10155 bytes proofImages_light/Conditional Absorption.png | Bin 0 -> 6869 bytes proofImages_light/Conditional Complement.png | Bin 7080 -> 2666 bytes proofImages_light/Conditional Identity.png | Bin 10421 -> 5337 bytes proofImages_light/Conditional Reduction.png | Bin 22555 -> 11544 bytes ...tional Equivalence.png => Equivalence.png} | Bin proofImages_light/Half DeMorgan.png | Bin 0 -> 6803 bytes ...ts and Knaves.png => Knights & Knaves.png} | Bin .../Truth-Functional Consequence.png | Bin 922 -> 3161 bytes 26 files changed, 33 insertions(+), 33 deletions(-) create mode 100644 proofImages_dark/Biconditional Complement.png create mode 100644 proofImages_dark/Biconditional Contraposition.png create mode 100644 proofImages_dark/Biconditional Identity.png create mode 100644 proofImages_dark/Biconditional Reduction.png create mode 100644 proofImages_dark/Conditional Absorption.png rename proofImages_dark/{Biconditional Equivalence.png => Equivalence.png} (100%) create mode 100644 proofImages_dark/Half DeMorgan.png rename proofImages_dark/{Knights and Knaves.png => Knights & Knaves.png} (100%) create mode 100644 proofImages_light/Biconditional Complement.png create mode 100644 proofImages_light/Biconditional Contraposition.png create mode 100644 proofImages_light/Biconditional Identity.png create mode 100644 proofImages_light/Biconditional Reduction.png create mode 100644 proofImages_light/Conditional Absorption.png rename proofImages_light/{Biconditional Equivalence.png => Equivalence.png} (100%) create mode 100644 proofImages_light/Half DeMorgan.png rename proofImages_light/{Knights and Knaves.png => Knights & Knaves.png} (100%) diff --git a/index.html b/index.html index 260db32d..a9761657 100644 --- a/index.html +++ b/index.html @@ -5,20 +5,20 @@