diff options
Diffstat (limited to 'paper/While')
| -rw-r--r-- | paper/While/Common.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/paper/While/Common.dcl b/paper/While/Common.dcl index c2d58d4..db71353 100644 --- a/paper/While/Common.dcl +++ b/paper/While/Common.dcl @@ -45,4 +45,5 @@ mapM :: (a -> b c) [a] -> b [c] | Monad b foldM :: (a -> (b -> c a)) a [b] -> c a | Monad c liftM :: (a -> b) (c a) -> c b | Monad c liftM2 :: (a -> (b -> c)) (d a) (d b) -> d c | Monad d -liftM3 :: (a -> (b -> (c -> d))) (e a) (e b) (e c) -> e d | Monad e +liftM3 :: (a -> (b -> (c -> d))) (e a) (e b) (e c) + -> e d | Monad e |