summaryrefslogtreecommitdiff
path: root/src/scenes/lambda_reduction_example.tsx
diff options
context:
space:
mode:
Diffstat (limited to 'src/scenes/lambda_reduction_example.tsx')
-rw-r--r--src/scenes/lambda_reduction_example.tsx47
1 files changed, 47 insertions, 0 deletions
diff --git a/src/scenes/lambda_reduction_example.tsx b/src/scenes/lambda_reduction_example.tsx
new file mode 100644
index 0000000..8f2436a
--- /dev/null
+++ b/src/scenes/lambda_reduction_example.tsx
@@ -0,0 +1,47 @@
+import { Layout, makeScene2D } from "@motion-canvas/2d";
+import {
+ Direction,
+ beginSlide,
+ createRef,
+ slideTransition,
+} from "@motion-canvas/core";
+import { LambdaReducer } from "../components/lambda_reducer";
+import { baseDefinitions } from "../utils/lambdas";
+
+export default makeScene2D(function* (view) {
+ const lambdaReducer = createRef<LambdaReducer>();
+ const layout = createRef<Layout>();
+
+ view.add(
+ <Layout layout ref={layout} direction="column" alignItems="center" gap={50}>
+ <LambdaReducer
+ ref={lambdaReducer}
+ lambdaTerm={"(succ zero)"}
+ definitions={baseDefinitions}
+ ></LambdaReducer>
+ </Layout>
+ );
+
+ yield* slideTransition(Direction.Right);
+ yield* beginSlide("Example Reductions");
+
+ for (let i = 0; !lambdaReducer().isDone(); i++) {
+ yield* lambdaReducer().step(0.5);
+ yield* beginSlide("1 Next Step " + i);
+ }
+
+ const one = lambdaReducer().getCode();
+ const reduceToTwo = createRef<LambdaReducer>();
+ layout().add(
+ <LambdaReducer
+ ref={reduceToTwo}
+ lambdaTerm={`(succ ${one})`}
+ definitions={baseDefinitions}
+ ></LambdaReducer>
+ );
+
+ for (let i = 0; !reduceToTwo().isDone(); i++) {
+ yield* reduceToTwo().step(0.5);
+ yield* beginSlide("2 Next Step " + i);
+ }
+});