HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-10-03 18:27:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #11 from Eduardogbg/patch-1

Browse Source 
fix typo in equality docs
This commit is contained in:
Yan Mendes 2024-05-16 14:07:53 -03:00 committed by GitHub
commit 28e8fda2ca
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/equality.md
View File

@ -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)`.