Update Raylean which now has my typo fix

Changes

2 changed files (+3/-3)

• Main.lean
  • @@ -91,13 +91,13 @@ def main : IO Unit := do
    } let mut ballPosition := initialBallPosition while not (← windowShouldClose) do - camera ← updateCamera camera .thridPerson + camera ← updateCamera camera .thirdPerson let d ← getMove ballPosition := updateBallPosition d ballPosition renderFrame do drawFPS (screenWidth - 100) 10 clearBackground Color.white - drawText "Move the ball with arrow keys" 10 10 20 Color.blue + -- drawText "Move the ball with arrow keys" 10 10 20 Color.blue renderWithCamera camera do drawCube ballPosition 2 2 2 Color.red drawCubeWires ballPosition 2 2 2 Color.blue
• lake-manifest.json
  • @@ -5,7 +5,7 @@
    "type": "git", "subDir": null, "scope": "funexists", - "rev": "580d008ec18413b0ed35bd4d20f9a5044f650c2c", + "rev": "80281516ba85da4e40c558122a212210fc7e93a1", "name": "raylean", "manifestFile": "lake-manifest.json", "inputRev": "main",