From 3036c77fb6e8054854a580331735619c2228ef23 Mon Sep 17 00:00:00 2001 From: Klagarge Date: Sat, 22 Mar 2025 22:03:02 +0100 Subject: [PATCH] chore: init Signed-off-by: Klagarge --- a.txt | 4 ++++ b.txt | 3 +++ c.txt | 7 +++++++ d.txt | 4 ++++ 4 files changed, 18 insertions(+) create mode 100644 a.txt create mode 100644 b.txt create mode 100644 c.txt create mode 100644 d.txt 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]