Delete halley-examples.rkt~