diff options
Diffstat (limited to 'src/scenes/recursion.tsx')
-rw-r--r-- | src/scenes/recursion.tsx | 36 |
1 files changed, 36 insertions, 0 deletions
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<Txt>(); + + view.add( + <Layout layout direction="column" alignItems="center"> + <Txt fontSize={40} fontFamily={theme.font} fill={theme.text.hex}> + Recursion and Combinators + </Txt> + <Txt + ref={lines} + fontSize={30} + fontFamily={theme.font} + fill={theme.text.hex} + ></Txt> + </Layout> + ); + + 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); + } +}); |