A checklist for tracking my progress through James Wilcox's "Exercises on Generalizing the Induction Hypothesis"
So you won't be tempted to peek at the solutions of this problem set before attempting them yourself ๐
This problem set consists of 8 exercises.
-
sum_tail_correct
-
sum_cont_correct
-
rev_tail_correct
-
map_tail_correct
-
eval_expr_tail_correct
-
eval_expr_cont_correct
-
compile_correct
-
fib_tail_correct