From d03b0d01be92b2a1032cf9c844c1f5d28c5d3f71 Mon Sep 17 00:00:00 2001 From: "Restyled.io" Date: Sun, 20 Oct 2024 20:22:36 +0000 Subject: [PATCH] Restyled by fourmolu --- src/swarm-lang/Swarm/Language/Syntax/Constants.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/swarm-lang/Swarm/Language/Syntax/Constants.hs b/src/swarm-lang/Swarm/Language/Syntax/Constants.hs index eb3d999e4..b3c1f74e2 100644 --- a/src/swarm-lang/Swarm/Language/Syntax/Constants.hs +++ b/src/swarm-lang/Swarm/Language/Syntax/Constants.hs @@ -304,8 +304,8 @@ data Const -- | Teleport a robot to the given position. Teleport - -- | Relocate a robot to the given cosmic position. - Warp + -- | Relocate a robot to the given cosmic position. + Warp | -- | Run a command as if you were another robot. As | -- | Find an actor by name.