Download Racket version 6 or above

Run by lambda-core.rkt like this: `racket lambda-core.rkt`