Cleanup

2025-11-09 16:42:55 +00:00
parent 658da193b7
commit 7ae50adb55
3 changed files with 4 additions and 3 deletions
@@ -39,7 +39,7 @@ putDoubleDoorThen wl cond soff a b speed cont =
            doorBetween wl cond soff b half speed $
                \pl2 -> cont pl1 pl2
  where
-    half = 0.5 *.* (a +.+ b)
+    half = 0.5 *^ (a + b)

 doorBetween ::
    Wall ->