{"comment":{"url":"https://api.github.com/repos/iu-parfunc/verified-instances/comments/19553315","html_url":"https://github.com/iu-parfunc/verified-instances/commit/490245ec353c69dd236b2ad2a71bc3a47077b851#commitcomment-19553315","id":19553315,"user":{"login":"vikraman","id":213959,"avatar_url":"https://avatars.githubusercontent.com/u/213959?v=3","gravatar_id":"","url":"https://api.github.com/users/vikraman","html_url":"https://github.com/vikraman","followers_url":"https://api.github.com/users/vikraman/followers","following_url":"https://api.github.com/users/vikraman/following{/other_user}","gists_url":"https://api.github.com/users/vikraman/gists{/gist_id}","starred_url":"https://api.github.com/users/vikraman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vikraman/subscriptions","organizations_url":"https://api.github.com/users/vikraman/orgs","repos_url":"https://api.github.com/users/vikraman/repos","events_url":"https://api.github.com/users/vikraman/events{/privacy}","received_events_url":"https://api.github.com/users/vikraman/received_events","type":"User","site_admin":false},"position":137,"line":93,"path":"src/Data/VerifiedOrd/Instances/Prod.hs","commit_id":"490245ec353c69dd236b2ad2a71bc3a47077b851","created_at":"2016-10-25T01:10:06Z","updated_at":"2016-10-25T01:10:06Z","body":"I just looked at it again after taking a break, and realized that I had a typo in the refinement of leqaAntisym, fixed it and it works now!"}}
{"actor":{"display_login":"vikraman"}}