From d22c013e4e74889a82004b05aab1158b98cfafc9 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 14 Dec 2023 20:14:49 +0100
Subject: Minor documentation fixes

---
 docs/wiki_src/technical/performance.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/wiki_src/technical')

diff --git a/docs/wiki_src/technical/performance.md b/docs/wiki_src/technical/performance.md
index 05fd683..002a6b8 100644
--- a/docs/wiki_src/technical/performance.md
+++ b/docs/wiki_src/technical/performance.md
@@ -6,7 +6,7 @@ an extension, bruijn also suffers from bad performance.
 Bruijn's interpreter works by substituting the entire program into one
 huge lambda calculus term that will then get reduced by the
 [reducer](reduction.md). As a result, many equivalent terms get
-evaluated multiple times (although some of this get's solved by bruijn's
+evaluated multiple times (although some of this is solved by bruijn's
 call-by-need reduction strategy). We currently work on a solution that
 reduces all equivalent terms as one, which turns out is not actually
 that trivial. Follow the [blog](https://text.marvinborner.de) to keep up
-- 
cgit v1.2.3