{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":753528082,"defaultBranch":"main","name":"Dissertation","ownerLogin":"jayrabjohns","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-06T09:55:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52382074?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707213329.0","currentOid":""},"activityList":{"items":[{"before":"c53ada12da0b2a0d3110bb46ca8bcad47c24a098","after":"0d32ef19c49306cb4d2b9b62874ce9c0e35f9b2c","ref":"refs/heads/main","pushedAt":"2024-05-03T17:06:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"pdf","shortMessageHtmlLink":"pdf"}},{"before":"d18c773fc7891056dffcf473e357652dd5b720c0","after":"c53ada12da0b2a0d3110bb46ca8bcad47c24a098","ref":"refs/heads/main","pushedAt":"2024-05-03T16:58:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"final edits","shortMessageHtmlLink":"final edits"}},{"before":"f3bb05e0f822f56e5a618338dc83527290181dc4","after":"d18c773fc7891056dffcf473e357652dd5b720c0","ref":"refs/heads/main","pushedAt":"2024-05-03T15:47:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"add readme","shortMessageHtmlLink":"add readme"}},{"before":"2a0f8d098701f34a05882e77041bef46b5856ee8","after":"f3bb05e0f822f56e5a618338dc83527290181dc4","ref":"refs/heads/main","pushedAt":"2024-05-03T15:42:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"link conclusions, general improvements","shortMessageHtmlLink":"link conclusions, general improvements"}},{"before":"b20a4e9e47530eefcce3326434aaaac0300fcaf4","after":"2a0f8d098701f34a05882e77041bef46b5856ee8","ref":"refs/heads/main","pushedAt":"2024-05-02T12:49:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"results","shortMessageHtmlLink":"results"}},{"before":"4ea4bacd12b78af33abe44f1d996af271d79c172","after":"b20a4e9e47530eefcce3326434aaaac0300fcaf4","ref":"refs/heads/main","pushedAt":"2024-05-01T20:41:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"catch, some more on retraction on types","shortMessageHtmlLink":"catch, some more on retraction on types"}},{"before":"1ff6a3de6ed37e5b8f37d79751c34e2a94492177","after":"4ea4bacd12b78af33abe44f1d996af271d79c172","ref":"refs/heads/main","pushedAt":"2024-04-27T16:13:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"first draft unbounded terms, some more things in the appendix","shortMessageHtmlLink":"first draft unbounded terms, some more things in the appendix"}},{"before":"fc3faafc6ab4bbed1b82a6521a9609896f9c33ab","after":"1ff6a3de6ed37e5b8f37d79751c34e2a94492177","ref":"refs/heads/main","pushedAt":"2024-04-22T12:58:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"some more details on parsing","shortMessageHtmlLink":"some more details on parsing"}},{"before":"34b52527d979e909cbe53041c09a6978f6df9a58","after":"fc3faafc6ab4bbed1b82a6521a9609896f9c33ab","ref":"refs/heads/main","pushedAt":"2024-04-19T11:50:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"More typing, some evaluation rules","shortMessageHtmlLink":"More typing, some evaluation rules"}},{"before":"0f6c2bfb18c124b56862fc93586eace6478478ea","after":"34b52527d979e909cbe53041c09a6978f6df9a58","ref":"refs/heads/main","pushedAt":"2024-04-18T18:53:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"some more content on typing & the affine transformation","shortMessageHtmlLink":"some more content on typing & the affine transformation"}},{"before":"b2f829713cd9acdbcc93120e189ebb95e7b126ec","after":"0f6c2bfb18c124b56862fc93586eace6478478ea","ref":"refs/heads/main","pushedAt":"2024-04-15T11:55:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"definitions for inj and proj and some implementation details","shortMessageHtmlLink":"definitions for inj and proj and some implementation details"}},{"before":"bdf9dad8087b7fd29033b2a3b2b0cd0a60832e89","after":"b2f829713cd9acdbcc93120e189ebb95e7b126ec","ref":"refs/heads/main","pushedAt":"2024-04-13T17:05:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"introducing catch and errors a bit more in the lit review, spine for chapter on refactoring","shortMessageHtmlLink":"introducing catch and errors a bit more in the lit review, spine for …"}},{"before":"2ef09e89df6e567c609092539aeda35c453e1262","after":"bdf9dad8087b7fd29033b2a3b2b0cd0a60832e89","ref":"refs/heads/main","pushedAt":"2024-04-05T18:45:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"description of term evaluation and the eval monad","shortMessageHtmlLink":"description of term evaluation and the eval monad"}},{"before":"3b4e2a6d7c8f143f6167a74ed252e5b8d24643ff","after":"2ef09e89df6e567c609092539aeda35c453e1262","ref":"refs/heads/main","pushedAt":"2024-04-03T21:43:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"section on spcf parser","shortMessageHtmlLink":"section on spcf parser"}},{"before":"7b530e66620a044a12bb16c3abe918aba882c233","after":"3b4e2a6d7c8f143f6167a74ed252e5b8d24643ff","ref":"refs/heads/main","pushedAt":"2024-04-01T10:31:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"table of contents","shortMessageHtmlLink":"table of contents"}},{"before":"996e293f284d75a2e2056772476e6f36d9484a11","after":"7b530e66620a044a12bb16c3abe918aba882c233","ref":"refs/heads/main","pushedAt":"2024-02-06T09:55:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"Initial Overleaf Import","shortMessageHtmlLink":"Initial Overleaf Import"}},{"before":null,"after":"996e293f284d75a2e2056772476e6f36d9484a11","ref":"refs/heads/main","pushedAt":"2024-02-06T09:55:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jayrabjohns","name":"Jay Rabjohns","path":"/jayrabjohns","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52382074?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wM1QxNzowNjoyNC4wMDAwMDBazwAAAARA9jMA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wM1QxNzowNjoyNC4wMDAwMDBazwAAAARA9jMA","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNlQwOTo1NToyOS4wMDAwMDBazwAAAAPzLn2v"}},"title":"Activity · jayrabjohns/Dissertation"}