From 3e922b56ddfd450a7964ec3ec6de7efa71725a96 Mon Sep 17 00:00:00 2001 From: Bill Hails Date: Tue, 12 Dec 2023 21:22:50 +0000 Subject: [PATCH] Update README.md --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 3b22c6c..184a211 100644 --- 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