typo

Author: Baptouuuu

proofs/attempt.php

@@ -633,7 +633,7 @@ static function($assert, $positive, $negative) {
             $fail = new Exception;
             $assert->same(
                 $positive,
-                Atttempt::defer(static fn() => Attempt::result($positive))
+                Attempt::defer(static fn() => Attempt::result($positive))
                     ->guard(static fn() => Attempt::result($positive))
                     ->recover(static fn() => Attempt::result($negative))
                     ->match(
@@ -644,7 +644,7 @@ static function($assert, $positive, $negative) {
 
             $assert->same(
                 $negative,
-                Atttempt::defer(static fn() => Attempt::result($positive))
+                Attempt::defer(static fn() => Attempt::result($positive))
                     ->guard(static fn() => Attempt::error($fail))
                     ->recover(static fn() => Attempt::result($negative))
                     ->match(
@@ -655,7 +655,7 @@ static function($assert, $positive, $negative) {
 
             $assert->same(
                 $fail,
-                Atttempt::defer(static fn() => Attempt::result($positive))
+                Attempt::defer(static fn() => Attempt::result($positive))
                     ->guard(static fn() => Attempt::error($fail))
                     ->xrecover(static fn() => Attempt::result($negative))
                     ->match(
@@ -666,7 +666,7 @@ static function($assert, $positive, $negative) {
 
             $assert->same(
                 $negative,
-                Atttempt::defer(static fn() => Attempt::result($positive))
+                Attempt::defer(static fn() => Attempt::result($positive))
                     ->flatMap(static fn() => Attempt::error($fail))
                     ->xrecover(static fn() => Attempt::result($negative))
                     ->match(