Update Agda.hs
Merge pull request #2 from ak3n/master

Update Agda.hs