diff options
| author | Camil Staps | 2016-06-03 00:43:51 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-03 00:43:51 +0200 |
| commit | 36d4cb4564156aef13ea90e368be488167fb89d3 (patch) | |
| tree | 45482c2ff0060515e3d888870369015045cecf27 | |
| parent | First version almost finished (diff) | |
Formatting
| -rw-r--r-- | paper/While/Common.dcl | 3 | ||||
| -rw-r--r-- | paper/clean.sty | 2 | ||||
| -rw-r--r-- | paper/ftypes.tex | 4 |
3 files changed, 5 insertions, 4 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 diff --git a/paper/clean.sty b/paper/clean.sty index 15c50fc..c56ee60 100644 --- a/paper/clean.sty +++ b/paper/clean.sty @@ -11,7 +11,7 @@ morestring=[b]', emptylines=1, basicstyle=\small, - identifierstyle=\small\ttfamily, + identifierstyle=\ttfamily, commentstyle=\itshape, keywordstyle=\bfseries, stringstyle=\ttfamily, diff --git a/paper/ftypes.tex b/paper/ftypes.tex index fda4152..29407a1 100644 --- a/paper/ftypes.tex +++ b/paper/ftypes.tex @@ -4,5 +4,5 @@ The following functions are considered known. If not, looking them up is easy using Cloogle~\citep{cloogle}. -\lstinputlisting[firstline=5,lastline=23]{While/Common.dcl} -\lstinputlisting[firstline=34]{While/Common.dcl} +\lstinputlisting[firstline=5,lastline=23,xleftmargin=0pt]{While/Common.dcl} +\lstinputlisting[firstline=34,xleftmargin=0pt]{While/Common.dcl} |