Update Hw1.lhs