packages feed

lhs2tex-1.20: doc/SaveRestoreIn.lhs

%include verbatim.fmt

\begingroup
\let\origtt=\ttfamily
\def\ttfamily#1#2{\origtt}
>\savecolumns
>\begin{code}
>intersperse               ::  a -> [a] -> [a]
>intersperse  _    []      =   []
>intersperse  _    [x]     =   [x]
>\end{code}
>The only really interesting case is the one for lists 
>containing at least two elements:
>\restorecolumns
>\begin{code}
>intersperse  sep  (x:xs)  =   x : sep : intersperse sep xs
>\end{code}
\endgroup