X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=lstlanghaskell.sty;h=88d13a39dd7e0ec798059bf07bdbb45a7990048a;hb=40c364b9de5d27b8afedcfd83d76499acc9e31af;hp=0abc301a5271c8b0c01c1cf4e922804f84ff107e;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git diff --git a/lstlanghaskell.sty b/lstlanghaskell.sty index 0abc301..88d13a3 100644 --- a/lstlanghaskell.sty +++ b/lstlanghaskell.sty @@ -1,10 +1,11 @@ \lstdefinelanguage[Regular]{Haskell}[]{Haskell}{% keywords={abstype,if,then,else,case,class,data,default,deriving,hiding,if,in,infix,infixl,infixr,import,instance,let,module,newtype,of,qualified,type,where,do,Q}, + morekeywords={forall}, literate=% - {forall}{{$\forall$}}1 +% {forall}{{$\forall$}}1 {\_}{{\raisebox{.15ex}{\_}}}1 {~}{{\raisebox{-.6ex}{\textasciitilde}}}1 - {\\}{{$\lambda\:$}}1 +% {\\}{{$\lambda\:$}}1 {->}{{$\shortrightarrow$}}2 {<-}{{$\shortleftarrow$}}2 {=>}{{$\Rightarrow$}}2