From 0c476e92e1807928ffb30864126076ef4c6a0821 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Tue, 13 Feb 2024 20:00:02 -0700 Subject: add all the stuff --- src/scenes/recursion.tsx | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 src/scenes/recursion.tsx (limited to 'src/scenes/recursion.tsx') diff --git a/src/scenes/recursion.tsx b/src/scenes/recursion.tsx new file mode 100644 index 0000000..167dd00 --- /dev/null +++ b/src/scenes/recursion.tsx @@ -0,0 +1,36 @@ +import { Layout, Txt, makeScene2D } from "@motion-canvas/2d"; +import { + Direction, + beginSlide, + createRef, + slideTransition, +} from "@motion-canvas/core"; +import { theme } from "../theme"; + +const recursion = ["Y = λ f . (λ x . f (x x)) (λ x . f (x x))"]; + +export default makeScene2D(function* (view) { + const lines = createRef(); + + view.add( + + + Recursion and Combinators + + + + ); + + yield* slideTransition(Direction.Right); + yield* beginSlide("The Lambda Calculus - Church Encoding"); + + for (const line of recursion) { + yield* lines().text(lines().text() + "\n\n" + line, 1); + yield* beginSlide("recursion - " + line); + } +}); -- cgit v1.2.3-70-g09d2