thoughts:haskell-to-agda: minor grammar, punctuation nits
Merge pull request #1 from artagnon/hs-v-agda

thoughts:haskell-to-agda: minor grammar, punctuation nits