From 0c476e92e1807928ffb30864126076ef4c6a0821 Mon Sep 17 00:00:00 2001
From: Elizabeth Hunt <elizabeth.hunt@simponic.xyz>
Date: Tue, 13 Feb 2024 20:00:02 -0700
Subject: add all the stuff

---
 src/scenes/church_encoding.tsx | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 src/scenes/church_encoding.tsx

(limited to 'src/scenes/church_encoding.tsx')

diff --git a/src/scenes/church_encoding.tsx b/src/scenes/church_encoding.tsx
new file mode 100644
index 0000000..70bafe4
--- /dev/null
+++ b/src/scenes/church_encoding.tsx
@@ -0,0 +1,41 @@
+import { Layout, Txt, makeScene2D } from "@motion-canvas/2d";
+import {
+  Direction,
+  beginSlide,
+  createRef,
+  slideTransition,
+} from "@motion-canvas/core";
+import { theme } from "../theme";
+
+const churchNumerals = [
+  "0 = λ f . λ x . x (no application of f)",
+  "1 = λ f . λ x . f x (one application of f)",
+  "2 = λ f . λ x . f (f x) (two applications of f)",
+  "succ = λ n . λ f . λ x . f ((n f) x)",
+];
+
+export default makeScene2D(function* (view) {
+  const numerals = createRef<Txt>();
+
+  view.add(
+    <Layout layout direction="column" alignItems="center">
+      <Txt fontSize={40} fontFamily={theme.font} fill={theme.text.hex}>
+        Church Encoding
+      </Txt>
+      <Txt
+        ref={numerals}
+        fontSize={30}
+        fontFamily={theme.font}
+        fill={theme.text.hex}
+      ></Txt>
+    </Layout>
+  );
+
+  yield* slideTransition(Direction.Right);
+  yield* beginSlide("The Lambda Calculus - Church Encoding");
+
+  for (const numeral of churchNumerals) {
+    yield* numerals().text(numerals().text() + "\n\n" + numeral, 1);
+    yield* beginSlide("substitution - " + numeral);
+  }
+});
-- 
cgit v1.3

