Delete Hw08.agda