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.
 

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