Fix typo in doc comment

idris-lang · Mar 28, 2024 · 1cb8eff · 1cb8eff
1 parent 95cecc8
commit 1cb8eff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/base/Control/Monad/Partial.idr b/libs/base/Control/Monad/Partial.idr
@@ -44,7 +44,7 @@ data Total : Partial a -> Type where
     TLater : Total (Force x) -> Total (Later x)
 
 
-||| Extract the value from a partial computation if you have a prove it is
+||| Extract the value from a partial computation if you have a proof it is
 ||| actually total.
 public export
 runPartial : (x : Partial a) -> Total x -> a