From e8a440a0b717621cce239499be22ea038a0093f5 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 16 Mar 2024 14:19:56 +0100
Subject: Added two fun animations

---
 docs/wiki_src/introduction/animations.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 docs/wiki_src/introduction/animations.md

(limited to 'docs/wiki_src/introduction')

diff --git a/docs/wiki_src/introduction/animations.md b/docs/wiki_src/introduction/animations.md
new file mode 100644
index 0000000..1029a43
--- /dev/null
+++ b/docs/wiki_src/introduction/animations.md
@@ -0,0 +1,11 @@
+# Animations
+
+## Id substitution
+
+<iframe width="560" height="315" src="https://www.trangram.com/embed/65f58fa7f4ece1d0d03209b9?repeat" title="Substitution in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
+</iframe>
+
+## Omega beta reduction
+
+<iframe width="560" height="315" src="https://www.trangram.com/embed/65f593e2f4ece1d0d0320a8e?repeat" title="Omega reduction in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
+</iframe>
-- 
cgit v1.2.3