Fix grammer in https://www.internalfb.com/code/fbsource/fbcode/pyrefly/website/docs/typing-for-python-developers.mdx and https://www.internalfb.com/code/fbsource/fbcode/pyrefly/website/docs/python-typing-for-beginners.mdx

Reviewed By: ndmitchell

Differential Revision: D74299701

fbshipit-source-id: ef0e903cef4f18f1395824f45671783016e9cc0e

Author: lolpack

website/docs/python-typing-for-beginners.mdx

@@ -147,7 +147,7 @@ Default values keep their annotation:
 
 <pre>
   <SandboxBrowserOnly
-  sampleFilename="defaul_value_types.py"
+  sampleFilename="default_value_types.py"
   isCodeSnippet={true}
   codeSample={`# Function with default value
 
@@ -178,7 +178,7 @@ def debug(*msgs: str, log: Logger | None = print) -> None:
   />
 </pre>
 
-## 5. Get Type Hint Signals Directly in Your Editor
+## 6. Get Type Hint Signals Directly in Your Editor
 
 You can download the [Pyrefly extension for VSCode](https://marketplace.visualstudio.com/items?itemName=meta.pyrefly) to get type hint signals directly in your IDE.
 

website/docs/typing-for-python-developers.mdx

@@ -14,7 +14,7 @@ import SandboxBrowserOnly from '@site/src/sandbox/SandboxBrowserOnly'
 
 If you are new to Python, check out our [Python Typing for Beginners guide](../python-typing-for-beginners/).
 
-Python's type system allow you to annotate variables so you, your teammates and your type checker can find bugs before you run your code. Think of it as documentation that's automatically validated and will help your IDE help you.
+Python's type system allows you to annotate variables so you, your teammates and your type checker can find bugs before you run your code. Think of it as documentation that's automatically validated and will help your IDE help you.
 
 _TL;DR_
 * Catch bugs **before** running the code.
@@ -111,7 +111,7 @@ Defining the parameter and return types for a function doesn't just help prevent
 from typing import reveal_type
 
 def greet(name: str) -> str:
-    return f"Hello , {name}!"
+    return f"Hello, {name}!"
 
 greet("Pyrefly")