chap-2.3-forlan7b.tex

\begin{list}{}
{\setlength{\leftmargin}{\leftmargini}
\setlength{\rightmargin}{0cm}
\setlength{\itemindent}{0cm}
\setlength{\listparindent}{0cm}
\setlength{\itemsep}{0cm}
\setlength{\parsep}{0cm}
\setlength{\labelsep}{0cm}
\setlength{\labelwidth}{0cm}
\catcode`\#=12
\catcode`\$=12
\catcode`\%=12
\catcode`\^=12
\catcode`\_=12
\catcode`\.=12
\catcode`\?=12
\catcode`\!=12
\catcode`\&=12
\ttfamily}
\small
\item[]\textsl{-\ }fun\ rev\ nil\ \ \ \ \ \ \ =\ nil
\item[]\textsl{=\ }\ \ |\ rev\ (x\ ::\ xs)\ =\ rev\ xs\ @\ \symbol{'133}x\symbol{'135};
\item[]\textsl{val\ rev\ =\ fn\ :\ 'a\ list\ ->\ 'a\ list}
\end{list}