Delete Simmer.idr.t