From a3833596fb8c47b8de0450690f182ee47c051836 Mon Sep 17 00:00:00 2001
From: Ham1oo <147810530+Ham1oo@users.noreply.github.com>
Date: Tue, 14 Apr 2026 11:31:36 +0300
Subject: [PATCH] typo infered Basics.ard

---
 PartI/src/Basics.ard | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PartI/src/Basics.ard b/PartI/src/Basics.ard
index 9cd593f..e3b3428 100644
--- a/PartI/src/Basics.ard
+++ b/PartI/src/Basics.ard
@@ -34,7 +34,7 @@
    id'' x = x
 -}
 
--- types of parameters cannot be infered as before
+-- types of parameters cannot be inferred as before
 \func foo' => \lam (x _ : Nat) (_ : Int) => x
 -- but types of parameters can be omitted if the result type is specified explicitly
 \func foo'' : Nat -> Nat -> Int -> Nat => \lam x _ _ => x