learn-you-an-agda: kickoff