Delete base.rkt~