diff options
| author | Anthony Wang | 2025-07-07 22:08:11 -0400 |
|---|---|---|
| committer | Anthony Wang | 2025-07-07 22:08:11 -0400 |
| commit | 86b73bf2e62197daae388f79c728cb63736e9234 (patch) | |
| tree | 291f925c0aa624fb62d50119b0b9dd6bc6dbe477 | |
| parent | 53c68a09ae7e06ab8bcd621a5189ab5a595ea7e6 (diff) | |
| -rw-r--r-- | Leanime.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Leanime.lean b/Leanime.lean index 24ca88f..032e140 100644 --- a/Leanime.lean +++ b/Leanime.lean @@ -140,6 +140,7 @@ elab "s" : tactic => do let startTime := idxStringSplit[1]!.toNat! let frame ← getFrame frameDir idx logInfo frame <| 10000 - idx + -- 15 FPS since VSCode probably can't even render that fast IO.FS.writeFile (frameDir.join "idx") s!"{idx + 2} {startTime}" IO.sleep <| startTime + 100 * idx / 3 - (← IO.monoMsNow) |>.toUInt32 |