We're actually using Clojure at work + Lambda calculus


Details
Originally this meetup was going to have one presentation, but we got an offer we couldn't refuse - using lambdas (and lambda calculus) to implement true, false, arithmetic and other fun stuff. So there'll be a grand total of two talks, yay!
We're actually using Clojure at work (~1h)
Kodemaker is making their first product. On the tech side, it's essentially a collection of webapps with a Clojure backend and a single page web app frontend.
August Lilleaas will show and tell, and demonstrate the how and the why of the Clojure side. It's a pretty large and intricate system, with some interesting takes on functional programming (global singletons, ewww). There are a few open source components made as a side effect of the work as well, these will be explained and demoed.
The Computas Lambda Club presents: Lambda calculus (~45m)
If you are as obsessed with purity as US teenagers wearing chastity rings, or if you have a less-than-healthy interest in the obscure parts of functional programming, then this is the talk for you. It is probably useful with some basic knowledge of a LISP, but basically all we need is lambda, so all you should need to know about is lambda...
Jonas Winje will enlighten us on the purest of the purest, the lambda calculus. Starting with just lambdas, and guided by questions from Einar Høst, Jonas will define the basics of a programming language. Live-coding will be the tool, in Racket and in Jonas' own Sublime Text 2 plugin that does tricks on lambda expressions.

We're actually using Clojure at work + Lambda calculus