Smatchcube's website 🌍


Exercise 1.46

Here is the general iterative-improve procedure to express the idea of iterative improvement.

We can rewrite sqrt and fixed-point using our new procedure.