From ad4fbd003c0e3d838ea9ee58346b39890ea4fa96 Mon Sep 17 00:00:00 2001
From: Huberto <161350311+HubertIGL@users.noreply.github.com>
Date: Tue, 24 Dec 2024 20:19:09 +0100
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 977a3e96e..ac55b6c23 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ and answering yes to the prompts.
 
 ## Design
 
-The intention of this library is to allow writing snarks by writing what look
+The intention of this library is to allow writing snarks by writing what looks
 like normal programs (whose executions the snarks verify). If you're an experienced
 functional programmer, the basic idea (simplifying somewhat) is that there is a monad
 `Checked.t` so that a value of type `'a Checked.t` is an `'a` whose computation is