From 0afa95767546f1291ebf1e95c0072567a86d4749 Mon Sep 17 00:00:00 2001
From: Anthony Wang <a@unnamed.website>
Date: Sat, 20 Jun 2026 16:05:50 -0400
Subject: [PATCH] Fix typo

---
 lean/Examples/Camera3D.lean | 4 ++--
 lean/Raylean/Types.lean     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lean/Examples/Camera3D.lean b/lean/Examples/Camera3D.lean
index 15894b1..14d8480 100644
--- a/lean/Examples/Camera3D.lean
+++ b/lean/Examples/Camera3D.lean
@@ -21,8 +21,8 @@ private def doRender : IO Unit := do
   }
   disableCursor
   while not (← windowShouldClose) do
-    camera <- updateCamera camera CameraMode.thridPerson
-    if (<- isKeyDown Key.space) then
+    camera ← updateCamera camera CameraMode.thirdPerson
+    if (← isKeyDown Key.space) then
       camera := { camera with target := cubePosition }
     renderFrame do
       clearBackground Color.white
diff --git a/lean/Raylean/Types.lean b/lean/Raylean/Types.lean
index 0e55d6c..2146dfe 100644
--- a/lean/Raylean/Types.lean
+++ b/lean/Raylean/Types.lean
@@ -56,7 +56,7 @@ inductive CameraMode where
   | free
   | orbital
   | firstPerson
-  | thridPerson
+  | thirdPerson
 
 structure Color where
   /-- Color red value -/