{"action":"created","comment":{"url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/comments/80876336","pull_request_review_id":1897688,"id":80876336,"diff_hunk":"@@ -973,9 +974,9 @@ _concat([1, 2], 'buzz');\n \n The type of `_concat` is misleading: it suggests that it can operate on any\n two values of *any* one type. In fact there's an implicit constraint, since\n-the type must support concatenation (in [mathematical][10] terms, the type\n-must have a [semigroup][11]). The run-time type errors that result when this\n-constraint is violated are not particularly descriptive:\n+the type must support concatenation (in [mathematical][semigroup] terms, the\n+type must have a [semigroup][Semigroup]). The run-time type errors that result\n+when this constraint is violated are not particularly descriptive:","path":"README.md","position":null,"original_position":71,"commit_id":"7896c4446c2097caf65e7359c819fc7c62c74efc","original_commit_id":"a67864a9e2f990a329e67de713439c7c1f58f1a6","user":{"login":"davidchambers","id":210406,"avatar_url":"https://avatars.githubusercontent.com/u/210406?v=3","gravatar_id":"","url":"https://api.github.com/users/davidchambers","html_url":"https://github.com/davidchambers","followers_url":"https://api.github.com/users/davidchambers/followers","following_url":"https://api.github.com/users/davidchambers/following{/other_user}","gists_url":"https://api.github.com/users/davidchambers/gists{/gist_id}","starred_url":"https://api.github.com/users/davidchambers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davidchambers/subscriptions","organizations_url":"https://api.github.com/users/davidchambers/orgs","repos_url":"https://api.github.com/users/davidchambers/repos","events_url":"https://api.github.com/users/davidchambers/events{/privacy}","received_events_url":"https://api.github.com/users/davidchambers/received_events","type":"User","site_admin":false},"body":"Link identifiers are *not* case sensitive. I changed `[Semigroup]` to `[FL:Semigroup]`. I also wrote a program to verify that I didn't make any typos when updating the identifiers:\r\n\r\n```console\r\n$ for branch in master dc-link-identifiers ; do git checkout $branch && pandoc README.md | shasum -a 256 ; done\r\nSwitched to branch 'master'\r\nYour branch is up-to-date with 'origin/master'.\r\nee3aaab7734c9e7380fbe8eb881bc61c9c14c33c8d8a485cfc937edf50ad486a  -\r\nSwitched to branch 'dc-link-identifiers'\r\nee3aaab7734c9e7380fbe8eb881bc61c9c14c33c8d8a485cfc937edf50ad486a  -\r\n```\r\n","created_at":"2016-09-28T09:30:12Z","updated_at":"2016-09-28T09:30:12Z","html_url":"https://github.com/sanctuary-js/sanctuary-def/pull/84#discussion_r80876336","pull_request_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84","_links":{"self":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/comments/80876336"},"html":{"href":"https://github.com/sanctuary-js/sanctuary-def/pull/84#discussion_r80876336"},"pull_request":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84"}}},"pull_request":{"url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84","id":87023225,"html_url":"https://github.com/sanctuary-js/sanctuary-def/pull/84","diff_url":"https://github.com/sanctuary-js/sanctuary-def/pull/84.diff","patch_url":"https://github.com/sanctuary-js/sanctuary-def/pull/84.patch","issue_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/84","number":84,"state":"open","locked":false,"title":"readme: replace numeric link identifiers","user":{"login":"davidchambers","id":210406,"avatar_url":"https://avatars.githubusercontent.com/u/210406?v=3","gravatar_id":"","url":"https://api.github.com/users/davidchambers","html_url":"https://github.com/davidchambers","followers_url":"https://api.github.com/users/davidchambers/followers","following_url":"https://api.github.com/users/davidchambers/following{/other_user}","gists_url":"https://api.github.com/users/davidchambers/gists{/gist_id}","starred_url":"https://api.github.com/users/davidchambers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davidchambers/subscriptions","organizations_url":"https://api.github.com/users/davidchambers/orgs","repos_url":"https://api.github.com/users/davidchambers/repos","events_url":"https://api.github.com/users/davidchambers/events{/privacy}","received_events_url":"https://api.github.com/users/davidchambers/received_events","type":"User","site_admin":false},"body":"@safareli suggested this change in #82.\r\n","created_at":"2016-09-27T22:20:14Z","updated_at":"2016-09-28T09:30:12Z","closed_at":null,"merged_at":null,"merge_commit_sha":"bdf2f5e20b2b2d3c94d694aa040b94b7f38bc398","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84/commits","review_comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84/comments","review_comment_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/comments{/number}","comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/84/comments","statuses_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/statuses/7896c4446c2097caf65e7359c819fc7c62c74efc","head":{"label":"sanctuary-js:dc-link-identifiers","ref":"dc-link-identifiers","sha":"7896c4446c2097caf65e7359c819fc7c62c74efc","user":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"repo":{"id":43796926,"name":"sanctuary-def","full_name":"sanctuary-js/sanctuary-def","owner":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/sanctuary-js/sanctuary-def","description":":guardsman: Run-time type system for JavaScript","fork":false,"url":"https://api.github.com/repos/sanctuary-js/sanctuary-def","forks_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/forks","keys_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/teams","hooks_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/hooks","issue_events_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/events{/number}","events_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/events","assignees_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/assignees{/user}","branches_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/branches{/branch}","tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/tags","blobs_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/refs{/sha}","trees_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/statuses/{sha}","languages_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/languages","stargazers_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/stargazers","contributors_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/contributors","subscribers_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/subscribers","subscription_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/subscription","commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/commits{/sha}","git_commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/commits{/sha}","comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/comments{/number}","issue_comment_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/comments{/number}","contents_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/contents/{+path}","compare_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/merges","archive_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/downloads","issues_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues{/number}","pulls_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls{/number}","milestones_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/milestones{/number}","notifications_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/labels{/name}","releases_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/releases{/id}","deployments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/deployments","created_at":"2015-10-07T05:29:16Z","updated_at":"2016-09-25T13:19:35Z","pushed_at":"2016-09-28T09:05:16Z","git_url":"git://github.com/sanctuary-js/sanctuary-def.git","ssh_url":"git@github.com:sanctuary-js/sanctuary-def.git","clone_url":"https://github.com/sanctuary-js/sanctuary-def.git","svn_url":"https://github.com/sanctuary-js/sanctuary-def","homepage":"","size":182,"stargazers_count":55,"watchers_count":55,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":7,"mirror_url":null,"open_issues_count":17,"forks":7,"open_issues":17,"watchers":55,"default_branch":"master"}},"base":{"label":"sanctuary-js:master","ref":"master","sha":"343383975599b1f1cdf4c2f7cadb00c1a9a836b7","user":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"repo":{"id":43796926,"name":"sanctuary-def","full_name":"sanctuary-js/sanctuary-def","owner":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/sanctuary-js/sanctuary-def","description":":guardsman: Run-time type system for JavaScript","fork":false,"url":"https://api.github.com/repos/sanctuary-js/sanctuary-def","forks_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/forks","keys_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/teams","hooks_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/hooks","issue_events_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/events{/number}","events_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/events","assignees_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/assignees{/user}","branches_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/branches{/branch}","tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/tags","blobs_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/refs{/sha}","trees_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/statuses/{sha}","languages_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/languages","stargazers_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/stargazers","contributors_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/contributors","subscribers_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/subscribers","subscription_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/subscription","commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/commits{/sha}","git_commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/git/commits{/sha}","comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/comments{/number}","issue_comment_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/comments{/number}","contents_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/contents/{+path}","compare_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/merges","archive_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/downloads","issues_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues{/number}","pulls_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls{/number}","milestones_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/milestones{/number}","notifications_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/labels{/name}","releases_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/releases{/id}","deployments_url":"https://api.github.com/repos/sanctuary-js/sanctuary-def/deployments","created_at":"2015-10-07T05:29:16Z","updated_at":"2016-09-25T13:19:35Z","pushed_at":"2016-09-28T09:05:16Z","git_url":"git://github.com/sanctuary-js/sanctuary-def.git","ssh_url":"git@github.com:sanctuary-js/sanctuary-def.git","clone_url":"https://github.com/sanctuary-js/sanctuary-def.git","svn_url":"https://github.com/sanctuary-js/sanctuary-def","homepage":"","size":182,"stargazers_count":55,"watchers_count":55,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":7,"mirror_url":null,"open_issues_count":17,"forks":7,"open_issues":17,"watchers":55,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84"},"html":{"href":"https://github.com/sanctuary-js/sanctuary-def/pull/84"},"issue":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/84"},"comments":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/issues/84/comments"},"review_comments":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84/comments"},"review_comment":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/pulls/84/commits"},"statuses":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary-def/statuses/7896c4446c2097caf65e7359c819fc7c62c74efc"}}}}
{"actor":{"display_login":"davidchambers"}}