tweak

sullyj3 · Aug 4, 2024 · 3508921 · 3508921
1 parent 3fad528
commit 3508921
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Client.lean b/src/Client.lean
@@ -17,8 +17,6 @@ def withUnixSocket path (action : Socket → IO a) := do
 
 open System (FilePath)
 
-def unlines := String.intercalate "\n"
-
 def showTimer (now : Moment) : TimerInfoForClient → String
  | {id, state} =>
  match state with
@@ -30,6 +28,8 @@ def showTimer (now : Moment) : TimerInfoForClient → String
  let formatted := remaining.formatColonSeparated
  s!"#{repr id.id} | {formatted} remaining (PAUSED)"
 
+def unlines := String.intercalate "\n"
+
 def showTimers (timers : List TimerInfoForClient) (now : Moment) : String :=
  if timers.isEmpty then
  "No running timers."