Delete Ex1.agda