From d84640201d6a3522ef8a0c83100bb66cac024309 Mon Sep 17 00:00:00 2001 From: Eduardo Gomes Date: Thu, 18 Apr 2024 11:21:37 -0300 Subject: [PATCH] fix typo in equality docs --- docs/equality.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/equality.md b/docs/equality.md index e6b5c4db..1ad694e4 100644 --- a/docs/equality.md +++ b/docs/equality.md @@ -69,7 +69,7 @@ A <> B ::= check if A and B are "textually" the same ``` -So, for example, to check if `(pair 1 2) == (pair 1 (+ 2 2))`, we would first +So, for example, to check if `(pair 1 4) == (pair 1 (+ 2 2))`, we would first check of both sides are identical. They're not, as evidenced by the fact they have different writings. We then reduce A and B to weak normal, and check if they're similar. This will recursivelly check if `1 == 1` and `4 == (+ 2 2)`.