equal
deleted
inserted
replaced
147 \endisadelimquote |
147 \endisadelimquote |
148 % |
148 % |
149 \isatagquote |
149 \isatagquote |
150 % |
150 % |
151 \begin{isamarkuptext}% |
151 \begin{isamarkuptext}% |
152 \isaverbatim% |
152 \isatypewriter% |
153 \noindent% |
153 \noindent% |
154 \hspace*{0pt}structure Example = \\ |
154 \hspace*{0pt}structure Example = \\ |
155 \hspace*{0pt}struct\\ |
155 \hspace*{0pt}struct\\ |
156 \hspace*{0pt}\\ |
156 \hspace*{0pt}\\ |
157 \hspace*{0pt}fun foldl f a [] = a\\ |
157 \hspace*{0pt}fun foldl f a [] = a\\ |
226 \endisadelimquote |
226 \endisadelimquote |
227 % |
227 % |
228 \isatagquote |
228 \isatagquote |
229 % |
229 % |
230 \begin{isamarkuptext}% |
230 \begin{isamarkuptext}% |
231 \isaverbatim% |
231 \isatypewriter% |
232 \noindent% |
232 \noindent% |
233 \hspace*{0pt}module Example where {\char123}\\ |
233 \hspace*{0pt}module Example where {\char123}\\ |
234 \hspace*{0pt}\\ |
234 \hspace*{0pt}\\ |
235 \hspace*{0pt}\\ |
235 \hspace*{0pt}\\ |
236 \hspace*{0pt}foldla ::~forall a b. (a -> b -> a) -> a -> [b] -> a;\\ |
236 \hspace*{0pt}foldla ::~forall a b. (a -> b -> a) -> a -> [b] -> a;\\ |