{"action":"created","issue":{"url":"https://api.github.com/repos/milessabin/shapeless/issues/467","labels_url":"https://api.github.com/repos/milessabin/shapeless/issues/467/labels{/name}","comments_url":"https://api.github.com/repos/milessabin/shapeless/issues/467/comments","events_url":"https://api.github.com/repos/milessabin/shapeless/issues/467/events","html_url":"https://github.com/milessabin/shapeless/pull/467","id":108405393,"number":467,"title":"Additional implicit resolutions for LT and LTEq","user":{"login":"TomasMikula","id":433439,"avatar_url":"https://avatars.githubusercontent.com/u/433439?v=3","gravatar_id":"","url":"https://api.github.com/users/TomasMikula","html_url":"https://github.com/TomasMikula","followers_url":"https://api.github.com/users/TomasMikula/followers","following_url":"https://api.github.com/users/TomasMikula/following{/other_user}","gists_url":"https://api.github.com/users/TomasMikula/gists{/gist_id}","starred_url":"https://api.github.com/users/TomasMikula/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TomasMikula/subscriptions","organizations_url":"https://api.github.com/users/TomasMikula/orgs","repos_url":"https://api.github.com/users/TomasMikula/repos","events_url":"https://api.github.com/users/TomasMikula/events{/privacy}","received_events_url":"https://api.github.com/users/TomasMikula/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-09-25T20:49:52Z","updated_at":"2015-09-28T16:11:02Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/milessabin/shapeless/pulls/467","html_url":"https://github.com/milessabin/shapeless/pull/467","diff_url":"https://github.com/milessabin/shapeless/pull/467.diff","patch_url":"https://github.com/milessabin/shapeless/pull/467.patch"},"body":"This pull request modifies implicits for `LT` and `LTEq` so that the following cases are covered without the need for any additional knowledge about N (other than `N <: Nat`):\r\n\r\n - `_0 <= N`\r\n - `N <= N`\r\n - `N < Succ[N]`\r\n - `N <= Succ[N]`\r\n\r\nSee the added test cases."},"comment":{"url":"https://api.github.com/repos/milessabin/shapeless/issues/comments/143791954","html_url":"https://github.com/milessabin/shapeless/pull/467#issuecomment-143791954","issue_url":"https://api.github.com/repos/milessabin/shapeless/issues/467","id":143791954,"user":{"login":"TomasMikula","id":433439,"avatar_url":"https://avatars.githubusercontent.com/u/433439?v=3","gravatar_id":"","url":"https://api.github.com/users/TomasMikula","html_url":"https://github.com/TomasMikula","followers_url":"https://api.github.com/users/TomasMikula/followers","following_url":"https://api.github.com/users/TomasMikula/following{/other_user}","gists_url":"https://api.github.com/users/TomasMikula/gists{/gist_id}","starred_url":"https://api.github.com/users/TomasMikula/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TomasMikula/subscriptions","organizations_url":"https://api.github.com/users/TomasMikula/orgs","repos_url":"https://api.github.com/users/TomasMikula/repos","events_url":"https://api.github.com/users/TomasMikula/events{/privacy}","received_events_url":"https://api.github.com/users/TomasMikula/received_events","type":"User","site_admin":false},"created_at":"2015-09-28T16:11:02Z","updated_at":"2015-09-28T16:11:02Z","body":"Inside the `transitivityTest` method, don't the arguments `r1: Rel[A, B]` and `r2: Rel[B, C]` serve as a base case?"}}