Delete Demo01.agda