liamoc/learn-you-an-agda — pull request #13 by hallettj (2014-05-02 08:20:27+00:00)
Title: Peano edits

I'd like to suggest these corrections to the Peano chapter. I think that the bit about the module declaration is particularly important. Without that declaration the reader gets a syntax error with a very unhelpful error message.