I've provided a series of puzzles, thematically linked, on combinatory logic. Try your skill at solving these Bird Puzzles.
Implementing the '
v' functor of Unlambda (also known in the literature as a hopelessly egocentric bird) using only
iposes an interesting challenge. I have written a paper entitled Meditations on the Void that shows various attempts at this task as well as a successful implementation.