Alphabet
nil
:
list
cons
:
[a × list] ⟶ list
map
:
[list × a → a] ⟶ list
Variables
x
:
a
l
:
list
F
:
a → a
Rules
map
(
nil
,
F
)
⇒
nil
map
(
cons
(
x
,
l
),
F
)
⇒
cons
(
F
·
x
,
map
(
l
,
F
))