From df2c5fc9bdde82199a6a9229f0436f3fb6385b20 Mon Sep 17 00:00:00 2001
From: Jakub Pelc <jakub.pelc@seznam.cz>
Date: Tue, 30 Apr 2024 09:57:17 +0200
Subject: [PATCH] Typo in hw03.md (#20)

---
 homework/hw03.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/homework/hw03.md b/homework/hw03.md
index c73024b..ed73ab7 100644
--- a/homework/hw03.md
+++ b/homework/hw03.md
@@ -54,7 +54,7 @@ x
 λ> Lambda "s" (Lambda "z" (App (Var "s") (App (Var "s") (Var "z"))))
 (\s.(\z.(s (s z))))
 ```
-So the symbol $\lambda$ is displayed as `\`. Variables are displays as their names. Applications
+So the symbol $\lambda$ is displayed as `\`. Variables are displayed as their names. Applications
 are displayed as `(e1 e2)`
 with a space separating expressions `e1,e2`
 and $\lambda$-abstractions as `(\x.e)`.