Do the factorial exercise in Hoare2
Do the min exercise in Hoare2