lambda x . [ x giggles ] , , lambda x . [ x studies in Düsseldorf ], , lambda y . lambda x . [ x chased y ], , lambda z . lambda y . lambda x . [ x gave y to z ], , [ lambda x .[ snored ( x ) ] ] ( Gandalf ), , lambda x . [ x chased Fido ], , [ [ John gave Mary the present ] ] = 1, , lambda y . lambda x . [ x gave y to Mary ], , lambda x . [ not ( x giggles ) ], , lambda x . [ ( x sings ) and ( x dances ) ], .

Leaderboard

Visual style

Options

Switch template

Continue editing: ?