1 \lstdefinestyle{haskell}{%
54 morekeywords={forall,Q},
56 {forall}{{$\forall$}}1
57 {\_}{{\raisebox{.15ex}{\_}}}1
58 {~}{{\raisebox{-.6ex}{\textasciitilde}}}1
60 {->}{{$\shortrightarrow$}}2
61 {<-}{{$\shortleftarrow$}}2
62 {=>}{{$\Rightarrow$}}2
64 {...}{{$\cdots$}}3 %chktex 11
65 {\[p|}{{$\llbracket_p$}}2
66 {\[d|}{{$\llbracket_d$}}2
67 {\[t|}{{$\llbracket_t$}}2
68 {\[e|}{{$\llbracket_e$}}2
69 {\[dsl|}{{$\llbracket_{dsl}$}}4
70 {\[bin|}{{$\llbracket_{bin}$}}4
71 {\[|}{{$\llbracket$}}1
72 {|\]}{{$\rrbracket$}}1