Merge pull request #33 from billhails/billhails-patch-3

Update README.md
billhails · Dec 12, 2023 · f90116c · f90116c
2 parents 85fe3ae + 3e922b5
commit f90116c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -84,8 +84,7 @@ a Scheme input which is already in ANF, so the desugaring for that is done on th
 
 ## CEKF Formal Description
 
-The formal mathematical presentation of the CEKF state machine is described
-[here](docs/MATH.md).
+A formal mathematical description of the CEKF machine can be found [here](docs/MATH.md).
 
 ## Bytecode