Merge branch 'main' of https://github.com/andrew-johnson-4/- into main

andrew-johnson-4 · Jan 2, 2024 · 687834e · 687834e
2 parents d87765f + 3eede6f
commit 687834e
Showing 1 changed file with 0 additions and 8 deletions.
diff --git 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.