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