{"comment":{"url":"https://api.github.com/repos/iu-parfunc/verified-instances/comments/19553259","html_url":"https://github.com/iu-parfunc/verified-instances/commit/490245ec353c69dd236b2ad2a71bc3a47077b851#commitcomment-19553259","id":19553259,"user":{"login":"nikivazou","id":714933,"avatar_url":"https://avatars.githubusercontent.com/u/714933?v=3","gravatar_id":"","url":"https://api.github.com/users/nikivazou","html_url":"https://github.com/nikivazou","followers_url":"https://api.github.com/users/nikivazou/followers","following_url":"https://api.github.com/users/nikivazou/following{/other_user}","gists_url":"https://api.github.com/users/nikivazou/gists{/gist_id}","starred_url":"https://api.github.com/users/nikivazou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikivazou/subscriptions","organizations_url":"https://api.github.com/users/nikivazou/orgs","repos_url":"https://api.github.com/users/nikivazou/repos","events_url":"https://api.github.com/users/nikivazou/events{/privacy}","received_events_url":"https://api.github.com/users/nikivazou/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:00:33Z","updated_at":"2016-10-25T01:00:33Z","body":"At least, is it true that it does not diverge without the undefined? \r\nCan you simplify the failing proof and give it to me?"}}
{"actor":{"display_login":"nikivazou"}}