commit 3036c77fb6e8054854a580331735619c2228ef23 Author: Klagarge Date: Sat Mar 22 22:03:02 2025 +0100 chore: init Signed-off-by: Klagarge diff --git a/a.txt b/a.txt new file mode 100644 index 0000000..66a9df3 --- /dev/null +++ b/a.txt @@ -0,0 +1,4 @@ +(λx.λy.x y y) (λz.z) a +(λy.(λz.z) y y) a +(λz.z) a a +a a diff --git a/b.txt b/b.txt new file mode 100644 index 0000000..558051f --- /dev/null +++ b/b.txt @@ -0,0 +1,3 @@ +(λx.x) (λy.y y) f +(λy.y y) f +f f diff --git a/c.txt b/c.txt new file mode 100644 index 0000000..b6af032 --- /dev/null +++ b/c.txt @@ -0,0 +1,7 @@ +(λx.λy.(x y) (y w)) +λy.((y w) y) +(λy.(y w)) y +y w + +But actually look more like a simple definition of a lambda without any arguments. +I'm not sure about this one. diff --git a/d.txt b/d.txt new file mode 100644 index 0000000..ee68df1 --- /dev/null +++ b/d.txt @@ -0,0 +1,4 @@ +(λx.(x x) λx.(x x)) +λx.(x x) λx.(x x) +λx.(x x) λx.(x x) +... [Infinite loop reduction]