Update README.md

billhails · Dec 12, 2023 · 3e922b5 · 3e922b5
1 parent 85fe3ae
commit 3e922b5
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