pigworker/MetaprogAgda — pull request #3 by Ptival (2013-09-28 03:43:39+00:00)
Title: fixed formatting error

Looks like a newline at the end of the file sneaked in that commit...