From 458dcb645fdf9fb097613105d5f075fb59e31716 Mon Sep 17 00:00:00 2001
From: Ardi <113623122+hardlyardi@users.noreply.github.com>
Date: Fri, 7 Mar 2025 09:37:25 -0600
Subject: [PATCH] fix spelling :(

---
 docs/eager-inference-annotations-for-polymorphic-types.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md
index a20fc60..32e0894 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -6,7 +6,7 @@ The RFC introduces a feature to annotate polymorphic function types to express t
 
 ## Motivation  
 
-The purpose of this feature is to dvelop syntax to prevent polymorphic types from widening into (e.g., number | string) when a function is implicitly instantiated with different argument types. E.g., `test(1, "a")`. In the following code, Luau's current solver infers `T` to be of a union type:
+The purpose of this feature is to develop syntax to prevent polymorphic types from widening into (e.g., number | string) when a function is implicitly instantiated with different argument types. E.g., `test(1, "a")`. In the following code, Luau's current solver infers `T` to be of a union type:
 
 ```luau
 function test<T>(a: T, b: T): T