greg/LeanDoom
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

IT WORKS (kinda)

Browse Source
This commit is contained in:
ValorZard
2025-08-29 10:39:25 -07:00
parent efcd813410
commit 7295b9087c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Engine.lean
View File

@@ -175,12 +175,12 @@ partial def run : IO Unit := do
SDL.quit SDL.quit
return return
/-
unless (← SDL.createRenderer) != 0 do unless (← SDL.createRenderer ()) != 0 do
IO.println "Failed to create renderer" IO.println "Failed to create renderer"
SDL.quit SDL.quit
return return
-/
let initialState : EngineState := { let initialState : EngineState := {
deltaTime := 0.0, lastTime := 0, running := true, deltaTime := 0.0, lastTime := 0, running := true,