{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6445425,"defaultBranch":"master","name":"fixed-vector","ownerLogin":"Shimuuar","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-10-29T18:25:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/100394?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711834746.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"4c2390f0eb79aebc655319c675fae59acc95070f","ref":"refs/heads/simplify-arity","pushedAt":"2024-03-30T21:39:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Drop KnownNat constraint","shortMessageHtmlLink":"Drop KnownNat constraint"}},{"before":null,"after":"efa6d2738ebfaba425252be1fe1aa46daae3a54a","ref":"refs/heads/nat-induction","pushedAt":"2024-03-30T21:32:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Another failed attempt to encode induction on type level literals\n\nMain problem: we have no way to write induction step. In case of accum:\n\n> ∀k. t (S k) → a → t k\n\nWe don't even have notion of non-zero number which has predecessor!\nType families are too opaque","shortMessageHtmlLink":"Another failed attempt to encode induction on type level literals"}},{"before":"42798be5e582618d9fe505058e267b3c3687269e","after":null,"ref":"refs/heads/newer-GHC","pushedAt":"2023-10-31T15:58:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"}},{"before":"890a5b88f262bed2f63448ca190c908753b14f19","after":"77c906ff6f5c9563a239e49f32e1d58fb41f8e57","ref":"refs/heads/master","pushedAt":"2023-10-31T15:57:41.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Merge pull request #20 from Shimuuar/newer-GHC\n\nAdd COMPLETE annotations for V# patterns","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1970706204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Shimuuar/fixed-vector/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Shimuuar/fixed-vector/pull/20/hovercard\" href=\"https://github.com/Shimuuar/fixed-vector/pull/20\">#20</a> from Shimuuar/newer-GHC"}},{"before":"7f96fbb4fe8912a04e7caafc1819f635e7f2c18b","after":"42798be5e582618d9fe505058e267b3c3687269e","ref":"refs/heads/newer-GHC","pushedAt":"2023-10-31T15:53:28.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Silence warnings","shortMessageHtmlLink":"Silence warnings"}},{"before":"b6c4d2ae5c3cbbf2f0d10bf5fdddc11302f0dded","after":"7f96fbb4fe8912a04e7caafc1819f635e7f2c18b","ref":"refs/heads/newer-GHC","pushedAt":"2023-10-31T15:21:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"7f96fbb4fe8912a04e7caafc1819f635e7f2c18b","after":"b6c4d2ae5c3cbbf2f0d10bf5fdddc11302f0dded","ref":"refs/heads/newer-GHC","pushedAt":"2023-10-31T15:20:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"CI???","shortMessageHtmlLink":"CI???"}},{"before":null,"after":"7f96fbb4fe8912a04e7caafc1819f635e7f2c18b","ref":"refs/heads/newer-GHC","pushedAt":"2023-10-31T15:17:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Shimuuar","name":"Aleksey Khudyakov","path":"/Shimuuar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/100394?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEI4AkPgA","startCursor":null,"endCursor":null}},"title":"Activity · Shimuuar/fixed-vector"}