Lambda: The Gathering - Play a card game, where the cards are lambda-calculus functions and combinators.

Official Homepage