Merge pull request #20 from happy4crazy/foldIO-typo
Fix typo in Shell `foldIO` law
This commit is contained in:
commit
fde69d0a56
1 changed files with 1 additions and 1 deletions
|
@ -47,7 +47,7 @@
|
|||
|
||||
> -- For every shell `s`:
|
||||
> foldIO s (FoldM step begin done) = do
|
||||
> x <- step
|
||||
> x <- begin
|
||||
> x' <- foldIO s (FoldM step (return x) return)
|
||||
> done x'
|
||||
|
||||
|
|
Loading…
Reference in a new issue