Section 18
Want more of a challenge? View in
iconic
form (
experimental
)
# MATH introduce sugar for let
# if would be good to introduce desugarings more rigorously, but for now...
# ... just a very vague sketch
[
hear
]
(intro let);
[
hear
]
(=
(let
(
(x 10)
)
(+
(x)
5)
)
(
(? x / +
(x)
5)
10)
);
[
hear
]
(=
(let
(
(x 10)
(y 5)
)
(+
(x)
(y)
)
)
(
(
(? x / ? y / +
(x)
(y)
)
10)
5)
);