From 3eede6f1691294a2288cf33739ea3f350a69c6e3 Mon Sep 17 00:00:00 2001
From: Andrew Johnson <andrew@subarctic.org>
Date: Mon, 1 Jan 2024 18:57:34 -0700
Subject: [PATCH] Update README.md

---
 README.md | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/README.md b/README.md
index 5663e0fef..5e7650dfe 100644
--- a/README.md
+++ b/README.md
@@ -41,14 +41,6 @@ Run the result
 [stdout] hello_world
 ```
 
-# How is eval-soft different from eval-hard?
-
-_eval-soft_ attempts to evaluate an expression to normal form with two restrictions:
-* the evaluation must not diverge
-* the result must be referentially transparent
-
-_eval-hard_ does not have any restrictions.
-
 # Mascot
 
 Doby was a donkey that refused to cross a bridge on the way back from a camping trek.