programming contest

Implement a lambda calculus evaluator in whatever language you choose.

I will pick the winner in one week based on undisclosed criteria.

>>5
Haskell a shit


(defun ahmed-eval (expression environment)
  (cond ((symbolp expression) (cadr (assoc expression environment)))
        ((eq (car expression) 'lambda) (cons expression environment))
        (t (ahmed-apply (ahmed-eval (car expression) environment)
                        (ahmed-eval (cadr expression) environment)))))

(defun ahmed-apply (function args)
  (ahmed-eval (cddr (car function))
              (cons (list (cadr (car function)) args)
                    (cdr function))))

(defun ahmed-repl ()
  (loop (print (ahmed-eval (read) nil))))