liamoc/learn-you-an-agda — pull request #4 by Quanteek (2012-11-26 12:25:52+00:00)
Title: Update pages/peano.md

corrected use of module and expression for 3 + 2 which should be using zero instead of n