You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
444 B
15 lines
444 B
7 years ago
|
# Intermission: Exercise
|
||
|
|
```
|
||
|
|
applyTimes 5 (+1) 5
|
||
|
|
= (+1) (applyTimes 4 (+1) 5)
|
||
|
|
= (+1) ((+1) (applyTimes 3 (+1) 5))
|
||
|
|
= (+1) ((+1) ((+1) (applyTimes 2 (+1) 5)))
|
||
|
|
= (+1) ((+1) ((+1) ((+1) (applyTimes 1 (+1) 5))))
|
||
|
|
= (+1) ((+1) ((+1) ((+1) ((+1) (applyTimes 0 (+1) 5)))))
|
||
|
|
= (+1) ((+1) ((+1) ((+1) ((+1) (5)))))
|
||
|
|
= (+1) ((+1) ((+1) ((+1) (6))))
|
||
|
|
= (+1) ((+1) ((+1) (7)))
|
||
|
|
= (+1) ((+1) (8))
|
||
|
|
= (+1) (9)
|
||
|
|
= 10
|
||
|
|
```
|