sanjoy/playingwithpointers.com — pull request #1 by artagnon (2013-02-18 13:29:30+00:00)
Title: thoughts:haskell-to-agda: minor grammar, punctuation nits

Sorry about the wrapping. I know it makes the diff harder to read, but thought it was necessary.