Show us your Lisp implementations

Toy implementations are fine, but (loop (print (eval (read)))) doesn't count!

I've tried to implement the Lisp found in ``Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I'' [McCarthy60] two times and failed twice ;_;