{"action":"created","comment":{"url":"https://api.github.com/repos/asr/apia/pulls/comments/76509081","id":76509081,"diff_hunk":"@@ -20,13 +20,16 @@ data ATP = CVC4\n          | Equinox\n          | IleanCoP\n          | Metis\n+         | OnlineATP String\n          | SPASS\n          | Vampire\n          | Z3\n          deriving Show\n \n instance Pretty ATP where\n-  pretty = text . show\n+  pretty (OnlineATP atp) = text . show $ atp\n+  pretty other = text . show $ other","path":"src/Apia/Common.hs","position":22,"original_position":22,"commit_id":"19d446c13a117a08e64036b6405919c496d556a7","original_commit_id":"19d446c13a117a08e64036b6405919c496d556a7","user":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"body":"Fix the indentation.","created_at":"2016-08-27T03:08:26Z","updated_at":"2016-08-27T03:08:26Z","html_url":"https://github.com/asr/apia/pull/59#discussion_r76509081","pull_request_url":"https://api.github.com/repos/asr/apia/pulls/59","_links":{"self":{"href":"https://api.github.com/repos/asr/apia/pulls/comments/76509081"},"html":{"href":"https://github.com/asr/apia/pull/59#discussion_r76509081"},"pull_request":{"href":"https://api.github.com/repos/asr/apia/pulls/59"}}},"pull_request":{"url":"https://api.github.com/repos/asr/apia/pulls/59","id":82098368,"html_url":"https://github.com/asr/apia/pull/59","diff_url":"https://github.com/asr/apia/pull/59.diff","patch_url":"https://github.com/asr/apia/pull/59.patch","issue_url":"https://api.github.com/repos/asr/apia/issues/59","number":59,"state":"open","locked":false,"title":"Feature/onlineatps","user":{"login":"jonaprieto","id":1428088,"avatar_url":"https://avatars.githubusercontent.com/u/1428088?v=3","gravatar_id":"","url":"https://api.github.com/users/jonaprieto","html_url":"https://github.com/jonaprieto","followers_url":"https://api.github.com/users/jonaprieto/followers","following_url":"https://api.github.com/users/jonaprieto/following{/other_user}","gists_url":"https://api.github.com/users/jonaprieto/gists{/gist_id}","starred_url":"https://api.github.com/users/jonaprieto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonaprieto/subscriptions","organizations_url":"https://api.github.com/users/jonaprieto/orgs","repos_url":"https://api.github.com/users/jonaprieto/repos","events_url":"https://api.github.com/users/jonaprieto/events{/privacy}","received_events_url":"https://api.github.com/users/jonaprieto/received_events","type":"User","site_admin":false},"body":"This gives support to use [onlineatps](https://github.com/jonaprieto/onlineatps). ","created_at":"2016-08-21T06:36:49Z","updated_at":"2016-08-27T03:08:26Z","closed_at":null,"merged_at":null,"merge_commit_sha":"6b09bef04f79cc0b88267a6920100a714fa641a4","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/asr/apia/pulls/59/commits","review_comments_url":"https://api.github.com/repos/asr/apia/pulls/59/comments","review_comment_url":"https://api.github.com/repos/asr/apia/pulls/comments{/number}","comments_url":"https://api.github.com/repos/asr/apia/issues/59/comments","statuses_url":"https://api.github.com/repos/asr/apia/statuses/19d446c13a117a08e64036b6405919c496d556a7","head":{"label":"jonaprieto:feature/onlineatps","ref":"feature/onlineatps","sha":"19d446c13a117a08e64036b6405919c496d556a7","user":{"login":"jonaprieto","id":1428088,"avatar_url":"https://avatars.githubusercontent.com/u/1428088?v=3","gravatar_id":"","url":"https://api.github.com/users/jonaprieto","html_url":"https://github.com/jonaprieto","followers_url":"https://api.github.com/users/jonaprieto/followers","following_url":"https://api.github.com/users/jonaprieto/following{/other_user}","gists_url":"https://api.github.com/users/jonaprieto/gists{/gist_id}","starred_url":"https://api.github.com/users/jonaprieto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonaprieto/subscriptions","organizations_url":"https://api.github.com/users/jonaprieto/orgs","repos_url":"https://api.github.com/users/jonaprieto/repos","events_url":"https://api.github.com/users/jonaprieto/events{/privacy}","received_events_url":"https://api.github.com/users/jonaprieto/received_events","type":"User","site_admin":false},"repo":{"id":64813520,"name":"apia","full_name":"jonaprieto/apia","owner":{"login":"jonaprieto","id":1428088,"avatar_url":"https://avatars.githubusercontent.com/u/1428088?v=3","gravatar_id":"","url":"https://api.github.com/users/jonaprieto","html_url":"https://github.com/jonaprieto","followers_url":"https://api.github.com/users/jonaprieto/followers","following_url":"https://api.github.com/users/jonaprieto/following{/other_user}","gists_url":"https://api.github.com/users/jonaprieto/gists{/gist_id}","starred_url":"https://api.github.com/users/jonaprieto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonaprieto/subscriptions","organizations_url":"https://api.github.com/users/jonaprieto/orgs","repos_url":"https://api.github.com/users/jonaprieto/repos","events_url":"https://api.github.com/users/jonaprieto/events{/privacy}","received_events_url":"https://api.github.com/users/jonaprieto/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/jonaprieto/apia","description":"Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic","fork":true,"url":"https://api.github.com/repos/jonaprieto/apia","forks_url":"https://api.github.com/repos/jonaprieto/apia/forks","keys_url":"https://api.github.com/repos/jonaprieto/apia/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jonaprieto/apia/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jonaprieto/apia/teams","hooks_url":"https://api.github.com/repos/jonaprieto/apia/hooks","issue_events_url":"https://api.github.com/repos/jonaprieto/apia/issues/events{/number}","events_url":"https://api.github.com/repos/jonaprieto/apia/events","assignees_url":"https://api.github.com/repos/jonaprieto/apia/assignees{/user}","branches_url":"https://api.github.com/repos/jonaprieto/apia/branches{/branch}","tags_url":"https://api.github.com/repos/jonaprieto/apia/tags","blobs_url":"https://api.github.com/repos/jonaprieto/apia/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jonaprieto/apia/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jonaprieto/apia/git/refs{/sha}","trees_url":"https://api.github.com/repos/jonaprieto/apia/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jonaprieto/apia/statuses/{sha}","languages_url":"https://api.github.com/repos/jonaprieto/apia/languages","stargazers_url":"https://api.github.com/repos/jonaprieto/apia/stargazers","contributors_url":"https://api.github.com/repos/jonaprieto/apia/contributors","subscribers_url":"https://api.github.com/repos/jonaprieto/apia/subscribers","subscription_url":"https://api.github.com/repos/jonaprieto/apia/subscription","commits_url":"https://api.github.com/repos/jonaprieto/apia/commits{/sha}","git_commits_url":"https://api.github.com/repos/jonaprieto/apia/git/commits{/sha}","comments_url":"https://api.github.com/repos/jonaprieto/apia/comments{/number}","issue_comment_url":"https://api.github.com/repos/jonaprieto/apia/issues/comments{/number}","contents_url":"https://api.github.com/repos/jonaprieto/apia/contents/{+path}","compare_url":"https://api.github.com/repos/jonaprieto/apia/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jonaprieto/apia/merges","archive_url":"https://api.github.com/repos/jonaprieto/apia/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jonaprieto/apia/downloads","issues_url":"https://api.github.com/repos/jonaprieto/apia/issues{/number}","pulls_url":"https://api.github.com/repos/jonaprieto/apia/pulls{/number}","milestones_url":"https://api.github.com/repos/jonaprieto/apia/milestones{/number}","notifications_url":"https://api.github.com/repos/jonaprieto/apia/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jonaprieto/apia/labels{/name}","releases_url":"https://api.github.com/repos/jonaprieto/apia/releases{/id}","deployments_url":"https://api.github.com/repos/jonaprieto/apia/deployments","created_at":"2016-08-03T03:54:55Z","updated_at":"2016-08-03T03:54:58Z","pushed_at":"2016-08-25T15:33:49Z","git_url":"git://github.com/jonaprieto/apia.git","ssh_url":"git@github.com:jonaprieto/apia.git","clone_url":"https://github.com/jonaprieto/apia.git","svn_url":"https://github.com/jonaprieto/apia","homepage":null,"size":1194,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"asr:master","ref":"master","sha":"e7945a89729f32f11dc5ac8aa8490300d13a3be0","user":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"repo":{"id":55302624,"name":"apia","full_name":"asr/apia","owner":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/asr/apia","description":"Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic","fork":false,"url":"https://api.github.com/repos/asr/apia","forks_url":"https://api.github.com/repos/asr/apia/forks","keys_url":"https://api.github.com/repos/asr/apia/keys{/key_id}","collaborators_url":"https://api.github.com/repos/asr/apia/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/asr/apia/teams","hooks_url":"https://api.github.com/repos/asr/apia/hooks","issue_events_url":"https://api.github.com/repos/asr/apia/issues/events{/number}","events_url":"https://api.github.com/repos/asr/apia/events","assignees_url":"https://api.github.com/repos/asr/apia/assignees{/user}","branches_url":"https://api.github.com/repos/asr/apia/branches{/branch}","tags_url":"https://api.github.com/repos/asr/apia/tags","blobs_url":"https://api.github.com/repos/asr/apia/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/asr/apia/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/asr/apia/git/refs{/sha}","trees_url":"https://api.github.com/repos/asr/apia/git/trees{/sha}","statuses_url":"https://api.github.com/repos/asr/apia/statuses/{sha}","languages_url":"https://api.github.com/repos/asr/apia/languages","stargazers_url":"https://api.github.com/repos/asr/apia/stargazers","contributors_url":"https://api.github.com/repos/asr/apia/contributors","subscribers_url":"https://api.github.com/repos/asr/apia/subscribers","subscription_url":"https://api.github.com/repos/asr/apia/subscription","commits_url":"https://api.github.com/repos/asr/apia/commits{/sha}","git_commits_url":"https://api.github.com/repos/asr/apia/git/commits{/sha}","comments_url":"https://api.github.com/repos/asr/apia/comments{/number}","issue_comment_url":"https://api.github.com/repos/asr/apia/issues/comments{/number}","contents_url":"https://api.github.com/repos/asr/apia/contents/{+path}","compare_url":"https://api.github.com/repos/asr/apia/compare/{base}...{head}","merges_url":"https://api.github.com/repos/asr/apia/merges","archive_url":"https://api.github.com/repos/asr/apia/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/asr/apia/downloads","issues_url":"https://api.github.com/repos/asr/apia/issues{/number}","pulls_url":"https://api.github.com/repos/asr/apia/pulls{/number}","milestones_url":"https://api.github.com/repos/asr/apia/milestones{/number}","notifications_url":"https://api.github.com/repos/asr/apia/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/asr/apia/labels{/name}","releases_url":"https://api.github.com/repos/asr/apia/releases{/id}","deployments_url":"https://api.github.com/repos/asr/apia/deployments","created_at":"2016-04-02T15:47:54Z","updated_at":"2016-04-02T15:52:12Z","pushed_at":"2016-08-27T02:54:52Z","git_url":"git://github.com/asr/apia.git","ssh_url":"git@github.com:asr/apia.git","clone_url":"https://github.com/asr/apia.git","svn_url":"https://github.com/asr/apia","homepage":null,"size":1236,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":9,"forks":1,"open_issues":9,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/asr/apia/pulls/59"},"html":{"href":"https://github.com/asr/apia/pull/59"},"issue":{"href":"https://api.github.com/repos/asr/apia/issues/59"},"comments":{"href":"https://api.github.com/repos/asr/apia/issues/59/comments"},"review_comments":{"href":"https://api.github.com/repos/asr/apia/pulls/59/comments"},"review_comment":{"href":"https://api.github.com/repos/asr/apia/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/asr/apia/pulls/59/commits"},"statuses":{"href":"https://api.github.com/repos/asr/apia/statuses/19d446c13a117a08e64036b6405919c496d556a7"}}}}
{"actor":{"display_login":"asr"}}