File: CalcExample.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 (26 lines) | stat: -rwxr-xr-x 418 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
%include poly.fmt
\def\commentbegin{\quad\{\ }
\def\commentend{\}}
\begin{spec}
    map (+1) [1,2,3]

==  {- desugaring of |(:)| -}

    map (+1) (1 : [2,3])

==  {- definition of |map| -}

    (+1) 1  :  map (+1) [2,3]

==  {- performing the addition on the head -}

    2       :  map (+1) [2,3]

==  {- recursive application of |map| -}

    2       :  [3,4]

==  {- list syntactic sugar -}

    [2,3,4]
\end{spec}