File: SaveRestoreNo.lhs

package info (click to toggle)
lhs2tex 1.24-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 1,976 kB
  • sloc: haskell: 4,408; makefile: 314; sh: 221
file content (15 lines) | stat: -rwxr-xr-x 351 bytes parent folder | download | duplicates (9)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
%include poly.fmt

\begingroup

\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:
\begin{code}
intersperse  sep  (x:xs)  =   x : sep : intersperse sep xs
\end{code}
\endgroup