Nice programming challenge from Martin Escardo | Hacker News Reader