pigworker/MetaprogAgda — pull request #4 by Blaisorblade (2014-10-21 21:12:34+00:00)
Title: Typo fixes

Thanks for this work! Please accept some minor fixes — hope this helps.