From 373c4bdc9cc01e2986f518eccc54c9d3856b7d05 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 13 Feb 2023 16:52:13 +0100
Subject: More tests

---
 tests/readme.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 tests/readme.md

(limited to 'tests/readme.md')

diff --git a/tests/readme.md b/tests/readme.md
new file mode 100644
index 0000000..9782650
--- /dev/null
+++ b/tests/readme.md
@@ -0,0 +1,19 @@
+# Tests
+
+These tests don't really test *specific* transition rules although I
+used them to fix specific rules using TDD. They are still useful as
+*random* overall reduction tests or for general benchmarking.
+
+## Descriptions
+
+1.  Smallest expression that uses all transition rules\[0\]
+2.  Folds a list of balanced ternary numbers:
+    `foldl + 0 [1, 2, 3] ~~> 6`
+3.  Factorial function using church numerals and the z combinator
+4.  Appends two lists of balanced ternary numbers:
+    `[1, 2, 3] ++ [4] ~~> [1, 2, 3, 4]`
+5.  Inifinite lazy list generators, list-based string representation and
+    generator management using balanced ternary numbers. Basically
+    equivalent of `(take (+6) (cycle "ab")) ~~> "ababab"`
+6.  Stress test using factorial equalities, originally by Lennart
+    Augustsson
-- 
cgit v1.2.3