From 464cca35825a02541efd46cfd3af91146c118d01 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 26 May 2023 18:08:09 +0200
Subject: Becoming aggressive

---
 tests/readme.md | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 tests/readme.md

(limited to 'tests/readme.md')

diff --git a/tests/readme.md b/tests/readme.md
deleted file mode 100644
index 9782650..0000000
--- a/tests/readme.md
+++ /dev/null
@@ -1,19 +0,0 @@
-# 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