{"comment":{"url":"https://api.github.com/repos/vikraman/2DTypes/comments/21810650","html_url":"https://github.com/vikraman/2DTypes/commit/f12a93ee338b909bb6c8fb95383c1a2ac7789d51#commitcomment-21810650","id":21810650,"user":{"login":"JacquesCarette","id":1855141,"avatar_url":"https://avatars1.githubusercontent.com/u/1855141?v=3","gravatar_id":"","url":"https://api.github.com/users/JacquesCarette","html_url":"https://github.com/JacquesCarette","followers_url":"https://api.github.com/users/JacquesCarette/followers","following_url":"https://api.github.com/users/JacquesCarette/following{/other_user}","gists_url":"https://api.github.com/users/JacquesCarette/gists{/gist_id}","starred_url":"https://api.github.com/users/JacquesCarette/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JacquesCarette/subscriptions","organizations_url":"https://api.github.com/users/JacquesCarette/orgs","repos_url":"https://api.github.com/users/JacquesCarette/repos","events_url":"https://api.github.com/users/JacquesCarette/events{/privacy}","received_events_url":"https://api.github.com/users/JacquesCarette/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":null,"commit_id":"f12a93ee338b909bb6c8fb95383c1a2ac7789d51","created_at":"2017-04-18T23:41:39Z","updated_at":"2017-04-18T23:41:39Z","body":"It is easy to believe that the proofs would be propositionally equal.  That the proofs are equivalent was not so clear to me; that this requires funext is somewhat comforting.  Thanks."}}
{"actor":{"display_login":"JacquesCarette"}}