Cleanup

2022-07-25 00:56:55 +01:00
parent 1b26ad361d
commit 14c4c47bf5
11 changed files with 16 additions and 77 deletions
@@ -6,4 +6,5 @@ doTmTm :: TmTm -> Terminal -> Terminal
 doTmTm tmtm = case tmtm of
    TmTmClearDisplayedLines -> tmDisplayedLines .~ []
    TmTmSetStatus s -> tmStatus .~ s
+    TmId -> id