Remove terminal line code

2025-08-15 12:01:17 +01:00
parent 09bd5f1029
commit e04d4fea31
4 changed files with 1 additions and 22 deletions
@@ -64,10 +64,6 @@ data TerminalLine
        { _tlPause :: Int
        , _tlString :: TerminalLineString -- World -> (String, Color)
        }
-    | TerminalLineTerminalEffect
-        { _tlPause :: Int
-        , _tlTermEffect :: TmTm -- Terminal -> Terminal
-        }
    | TerminalLineEffect
        { _tlPause :: Int
        , _tlEffect :: TmWdWd --Terminal -> World -> World