X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=lstlanghaskell.sty;h=5a74664bb9cb11257a756cced594606ca6f2294e;hb=c15776f71f5efe186708e2604ff8f32115c8ac3d;hp=d8f1d6b8f9a11e15261f014290b07951424303f3;hpb=45c4c1f86ffe493bbe929f262f6672a20c3cd8bf;p=phd-thesis.git diff --git a/lstlanghaskell.sty b/lstlanghaskell.sty index d8f1d6b..5a74664 100644 --- a/lstlanghaskell.sty +++ b/lstlanghaskell.sty @@ -5,9 +5,10 @@ Bool,Int,Integer,Float,Double,String,% Maybe,Nothing,Just,% zip,length,Show,show,Num,Eq,print,% - id}, + error,id}, morekeywords={forall}, literate=% + {forall}{{$\forall$}}1 {\_}{{\raisebox{.15ex}{\_}}}1 {~}{{\raisebox{-.6ex}{\textasciitilde}}}1 {\\}{{$\lambda\:$}}1 @@ -15,6 +16,5 @@ {<-}{{$\shortleftarrow$}}2 {=>}{{$\Rightarrow$}}2 {<=}{{$\Leftarrow$}}2 - {'}{{`}}1 {...}{{$\cdots$}}1 %chktex 11 }