{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":442770933,"defaultBranch":"main","name":"idris2-tutorial","ownerLogin":"stefan-hoeck","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-12-29T12:48:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2195420?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1689302784.0","currentOid":""},"activityList":{"items":[{"before":"830938f0590570bd35b2cc745bbaf7dcaaa61555","after":"0795cd0897984814ac9986524e78d93b95c5cb4f","ref":"refs/heads/main","pushedAt":"2024-07-30T04:35:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ new ] Chapter on details of QTT (#67)\n\n* [ new ] Chapter on details of QTT\r\n\r\n* Move to appendices section\r\n\r\n* Add link to QTT section in table of contents\r\n\r\n* Add credit note before introduction\r\n\r\n* [ tweak ] Satisfy markdown linter a bit more\r\n\r\n* [ fix ] Typos and other tweaks\r\n\r\n* [ fix ] More typo fixes\r\n\r\n* [ fix ] emphasis broken between lines\r\n\r\n* [ clarification ] quantities and pattern matching","shortMessageHtmlLink":"[ new ] Chapter on details of QTT (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2424102848\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/67\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/67/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/67\">#67</a>)"}},{"before":"d2f914cb0716d6d605425ff703f40c837d846e1a","after":"830938f0590570bd35b2cc745bbaf7dcaaa61555","ref":"refs/heads/main","pushedAt":"2024-07-20T17:57:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"Update README.md (#66)\n\nSmall typo (that -> than)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2417314428\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/66/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/66\">#66</a>)"}},{"before":"1c89da79deaa061598e82ab56f17aa3af3e9d15c","after":"d2f914cb0716d6d605425ff703f40c837d846e1a","ref":"refs/heads/main","pushedAt":"2024-06-17T18:57:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ fix ] some mistakes (#64)\n\n* [ fix ] replace Prelude.id with id in Eq\r\n\r\n* [ fix ] explanation of modular arithmetic for signed numbers\r\n\r\n* [ fix ] \"try id\" in Eq","shortMessageHtmlLink":"[ fix ] some mistakes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2354658754\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/64/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/64\">#64</a>)"}},{"before":"cf727a0eba124615775cc02abb99556f6057b95e","after":"1c89da79deaa061598e82ab56f17aa3af3e9d15c","ref":"refs/heads/main","pushedAt":"2023-08-14T19:10:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ fix ] add a missing case (#61)\n\nCo-authored-by: Fei Niu <fei.niu@prover.com>","shortMessageHtmlLink":"[ fix ] add a missing case (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1849976490\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/61/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/61\">#61</a>)"}},{"before":"b55fab3017ba77866833f0b7a37534b348658f01","after":null,"ref":"refs/heads/compat","pushedAt":"2023-07-14T02:46:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"}},{"before":"e3d8cdc8d73a6435939c826282f115b063d60fa2","after":"cf727a0eba124615775cc02abb99556f6057b95e","ref":"refs/heads/main","pushedAt":"2023-07-14T02:46:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ compat ] adjust to upstream changes (#60)","shortMessageHtmlLink":"[ compat ] adjust to upstream changes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1804057179\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/60/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/60\">#60</a>)"}},{"before":null,"after":"b55fab3017ba77866833f0b7a37534b348658f01","ref":"refs/heads/compat","pushedAt":"2023-07-14T02:40:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ compat ] adjust to upstream changes","shortMessageHtmlLink":"[ compat ] adjust to upstream changes"}},{"before":"5de0d8d80001a2b37502acc0cd422089c069041d","after":"e3d8cdc8d73a6435939c826282f115b063d60fa2","ref":"refs/heads/main","pushedAt":"2023-03-28T04:17:32.494Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ add ] Japanese translation project link to README (#58)","shortMessageHtmlLink":"[ add ] Japanese translation project link to README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1633163270\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/58/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/58\">#58</a>)"}},{"before":"5a93af48eeadd42f4ccefb5aa32c22be2fd66e2b","after":"5de0d8d80001a2b37502acc0cd422089c069041d","ref":"refs/heads/main","pushedAt":"2023-03-28T04:15:42.203Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ fix ] some typos (#57)","shortMessageHtmlLink":"[ fix ] some typos (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1633126494\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/57\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/57/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/57\">#57</a>)"}},{"before":"f54e45bdc1338f116fccd600f05cc6a75c1eeb89","after":"5a93af48eeadd42f4ccefb5aa32c22be2fd66e2b","ref":"refs/heads/main","pushedAt":"2023-03-13T06:38:38.189Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"Add missing links to the next chapters (#56)","shortMessageHtmlLink":"Add missing links to the next chapters (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620435717\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/56/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/56\">#56</a>)"}},{"before":"260c856ca342573da4884eeefe5a83a4fa65ebb4","after":null,"ref":"refs/heads/markdown","pushedAt":"2023-03-09T21:12:37.904Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"}},{"before":"8b02a2d53a751687eaaf37eb0840c44604d0ba57","after":"f54e45bdc1338f116fccd600f05cc6a75c1eeb89","ref":"refs/heads/main","pushedAt":"2023-03-09T21:12:34.616Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ vim ] set syntax of md files to markdown (#55)\n\n* [ vim ] set syntax of md files to markdown\r\n\r\n* [ lint ] fix terminology","shortMessageHtmlLink":"[ vim ] set syntax of md files to markdown (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1617997662\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stefan-hoeck/idris2-tutorial/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stefan-hoeck/idris2-tutorial/pull/55/hovercard\" href=\"https://github.com/stefan-hoeck/idris2-tutorial/pull/55\">#55</a>)"}},{"before":"83078bf90cd7a3ca9c0dcad1390a08ae2ef8a218","after":"260c856ca342573da4884eeefe5a83a4fa65ebb4","ref":"refs/heads/markdown","pushedAt":"2023-03-09T21:10:29.308Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ lint ] fix terminology","shortMessageHtmlLink":"[ lint ] fix terminology"}},{"before":null,"after":"83078bf90cd7a3ca9c0dcad1390a08ae2ef8a218","ref":"refs/heads/markdown","pushedAt":"2023-03-09T21:06:23.156Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"[ vim ] set syntax of md files to markdown","shortMessageHtmlLink":"[ vim ] set syntax of md files to markdown"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEjI7eXQA","startCursor":null,"endCursor":null}},"title":"Activity · stefan-hoeck/idris2-tutorial"}