Delete quantum.idr