fix comment

anoma · Nov 14, 2024 · fd425cf · fd425cf
1 parent 827ae93
commit fd425cf
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs
@@ -59,12 +59,12 @@ viewCall = \case
 
             Consider:
             ```
-            isEven (x : Nat) : Nat :=
+            isEven (x : Nat) : Bool :=
               let
-                isEven' : Nat -> Nat
+                isEven' : Nat -> Bool
                   | zero := true
                   | (suc n) := isOdd' n;
-                isOdd' : Nat -> Nat
+                isOdd' : Nat -> Bool
                   | zero := false
                   | (suc n) := isEven' n;
                in isEven' x;