X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble%2Flstlanghaskell.sty;h=7919bb504832656d6a0aacd20861455892c088a6;hb=HEAD;hp=88d13a39dd7e0ec798059bf07bdbb45a7990048a;hpb=7af43f4cbbc7792ec22553a84468cde77f429a11;p=phd-thesis.git diff --git a/preamble/lstlanghaskell.sty b/preamble/lstlanghaskell.sty index 88d13a3..7919bb5 100644 --- a/preamble/lstlanghaskell.sty +++ b/preamble/lstlanghaskell.sty @@ -7,6 +7,7 @@ {~}{{\raisebox{-.6ex}{\textasciitilde}}}1 % {\\}{{$\lambda\:$}}1 {->}{{$\shortrightarrow$}}2 + {>->}{{>->}}3 {<-}{{$\shortleftarrow$}}2 {=>}{{$\Rightarrow$}}2 {<=}{{$\Leftarrow$}}2 @@ -19,6 +20,8 @@ {\[bin|}{{$\llbracket_{bin}$}}4 {\[|}{{$\llbracket$}}1 {|\]}{{$\rrbracket$}}1 + {\(}{{{\rm\tt(}}}1 + {\)}{{{\rm\tt)}}}1 } \lstdefinelanguage[Lhs2Tex]{Haskell}[Regular]{Haskell}{% moreliterate=%