More hlinting

This commit is contained in:
2025-12-21 19:27:49 +00:00
parent 2fbaa47c0b
commit 51c52ace7d
18 changed files with 41 additions and 46 deletions
+1 -1
View File
@@ -103,7 +103,7 @@ tutDrop = do
treePost
[x & rmInPmnt .:~ (0, t j), y, cleatOnward rm]
where
t j = \gw ->
t j gw =
let x = gw ^? genInts . ix j
in putMessageTerminal
(defaultTerminal & tmBootLines .~ ss <> tlSetStatus (TerminalPressTo $ show x <> "QUIT") <> tlDoEffect TmWdWdPowerDownTerminal)