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
# 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 |
|
``` |