chap-2.3-forlan6.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\ fact\ n\ =
\item[]\textsl{=\ }\ \ \ \ \ \ if\ n\ =\ 0
\item[]\textsl{=\ }\ \ \ \ \ \ then\ 1
\item[]\textsl{=\ }\ \ \ \ \ \ else\ n\ \symbol{'052}\ fact(n\ -\ 1);
\item[]\textsl{val\ fact\ =\ fn\ :\ int\ ->\ int}
\item[]\textsl{-\ }fact\ 4;
\item[]\textsl{val\ it\ =\ 24\ :\ int}
\end{list}