fix formatting

anoma · Sep 22, 2023 · 749ea1f · 749ea1f
1 parent 93342aa
commit 749ea1f
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/Stdlib/Data/List/Base.juvix b/Stdlib/Data/List/Base.juvix
@@ -203,15 +203,15 @@ mergeSort {A} {{Ord A}} (l : List A) : List A :=
 --- ascending order using the QuickSort algorithm.
 terminating
 quickSort {A} {{Ord A}} : List A → List A :=
-    let
-      terminating
-      go : List A → List A
-        | nil := nil
-        | xs@(_ :: nil) := xs
-        | (x :: xs) :=
-          case partition (isGT ∘ Ord.cmp x) xs of {l1, l2 :=
-            go l1 ++ x :: go l2};
-    in go;
+  let
+    terminating
+    go : List A → List A
+      | nil := nil
+      | xs@(_ :: nil) := xs
+      | (x :: xs) :=
+        case partition (isGT ∘ Ord.cmp x) xs of {l1, l2 :=
+          go l1 ++ x :: go l2};
+  in go;
 
 --- 𝒪(𝓃) Filters out every ;nothing; from a ;List;.
 catMaybes {A} : List (Maybe A) -> List A