1 files changed, 19 insertions, 0 deletions
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