λ-calculus via CoffeeScript