From 36d4cb4564156aef13ea90e368be488167fb89d3 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 3 Jun 2016 00:43:51 +0200 Subject: Formatting --- paper/While/Common.dcl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'paper/While') 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 -- cgit v1.2.3