{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":727144386,"defaultBranch":"master","name":"thesis","ownerLogin":"Bigstep22","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-04T09:22:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17308997?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701682260.0","currentOid":""},"activityList":{"items":[{"before":"fa379a0e823af9a6d11beccd6ed8d7dfef266405","after":"535e39efab8dc610e78d00ceb9f590e7c143b715","ref":"refs/heads/master","pushedAt":"2024-06-17T16:34:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make final tweak to cabal run file and add README.md","shortMessageHtmlLink":"Make final tweak to cabal run file and add README.md"}},{"before":"18c14ea283e54788b11bf2bdb2c432be27a12e32","after":"fa379a0e823af9a6d11beccd6ed8d7dfef266405","ref":"refs/heads/master","pushedAt":"2024-06-17T16:30:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make minor corrections to Haskell code to enable compilation","shortMessageHtmlLink":"Make minor corrections to Haskell code to enable compilation"}},{"before":"8a647dd781b4666fb7bdb3ee24f1b9b5de8db120","after":"18c14ea283e54788b11bf2bdb2c432be27a12e32","ref":"refs/heads/master","pushedAt":"2024-06-17T16:26:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Finish abstract, expand conclusion of section 3 and incorporate corrections obtained from a second full read-through","shortMessageHtmlLink":"Finish abstract, expand conclusion of section 3 and incorporate corre…"}},{"before":"920a8330295fc9e26b7311a88b90aee98505653b","after":"8a647dd781b4666fb7bdb3ee24f1b9b5de8db120","ref":"refs/heads/master","pushedAt":"2024-06-17T13:42:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add communation diagrams to the Agda code in the relevant places","shortMessageHtmlLink":"Add communation diagrams to the Agda code in the relevant places"}},{"before":"f88f7c0b8824241d75d75b648e0cb771560ba173","after":"920a8330295fc9e26b7311a88b90aee98505653b","ref":"refs/heads/master","pushedAt":"2024-06-17T13:12:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Restructure a lot of the report, remove sections, add back references to the core question in sections 3 and 4, and incorporate a good chunk of Casper and Jesper's feedback","shortMessageHtmlLink":"Restructure a lot of the report, remove sections, add back references…"}},{"before":"56007cd6f4b09d2ad21920aa36766462d6978926","after":"f88f7c0b8824241d75d75b648e0cb771560ba173","ref":"refs/heads/master","pushedAt":"2024-06-17T10:43:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add pipeline function, to show that the church-encoded pipeline is extensionally equal to it","shortMessageHtmlLink":"Add pipeline function, to show that the church-encoded pipeline is ex…"}},{"before":"f35188b7b207c634be5061a1dc698168f70780dd","after":"56007cd6f4b09d2ad21920aa36766462d6978926","ref":"refs/heads/master","pushedAt":"2024-06-17T10:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add reference to related works","shortMessageHtmlLink":"Add reference to related works"}},{"before":"b9dfccd914cb5c7ef51f15606e5de9672504b35a","after":"f35188b7b207c634be5061a1dc698168f70780dd","ref":"refs/heads/master","pushedAt":"2024-06-16T16:32:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Waste some more time on trying the bisimulation, clean up the code though","shortMessageHtmlLink":"Waste some more time on trying the bisimulation, clean up the code th…"}},{"before":"14fea4715c3b0353ba89b21bb38d3831fbac3427","after":"b9dfccd914cb5c7ef51f15606e5de9672504b35a","ref":"refs/heads/master","pushedAt":"2024-06-16T14:02:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Incorporate part of Jesper and Casper's feedback, add a reference","shortMessageHtmlLink":"Incorporate part of Jesper and Casper's feedback, add a reference"}},{"before":"2297cf7338619a76b5c2ac91b9ca5b970d0c5f67","after":"14fea4715c3b0353ba89b21bb38d3831fbac3427","ref":"refs/heads/master","pushedAt":"2024-06-16T14:01:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make usage of term Church and Cochurch encoding consistent and rename cons and prod functions to the proper foldr/destroy and build/unfoldr naming","shortMessageHtmlLink":"Make usage of term Church and Cochurch encoding consistent and rename…"}},{"before":"72ed0bee58d8d4ed30fc9e1c0ca6e4af8550db64","after":"2297cf7338619a76b5c2ac91b9ca5b970d0c5f67","ref":"refs/heads/master","pushedAt":"2024-06-14T16:23:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Change many occurances of I to we, and rewrite initial and terminal description to be more clear","shortMessageHtmlLink":"Change many occurances of I to we, and rewrite initial and terminal d…"}},{"before":"c3ed5689bffe8904ab8da91165f3b70f9143dfc2","after":"72ed0bee58d8d4ed30fc9e1c0ca6e4af8550db64","ref":"refs/heads/master","pushedAt":"2024-06-14T13:50:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Remove Category theory library, reintroduce terminalbisim, and update references from latex code","shortMessageHtmlLink":"Remove Category theory library, reintroduce terminalbisim, and update…"}},{"before":"de156a728d5305f76cfe193fa13b798d9b539ceb","after":"c3ed5689bffe8904ab8da91165f3b70f9143dfc2","ref":"refs/heads/master","pushedAt":"2024-06-14T13:37:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Remove dependence on Category theory library","shortMessageHtmlLink":"Remove dependence on Category theory library"}},{"before":"0703e1e17b11033a8d167020ae67187f3c57f102","after":"de156a728d5305f76cfe193fa13b798d9b539ceb","ref":"refs/heads/master","pushedAt":"2024-06-14T10:41:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make spelling tweaks and add captions to the encoding diagrams","shortMessageHtmlLink":"Make spelling tweaks and add captions to the encoding diagrams"}},{"before":"4ee0af08a36fc6a1be9f1ee1eadda68a8bd1c24d","after":"0703e1e17b11033a8d167020ae67187f3c57f102","ref":"refs/heads/master","pushedAt":"2024-06-12T15:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Restructure haskell discussion","shortMessageHtmlLink":"Restructure haskell discussion"}},{"before":"ef99c3959b5df32953e38d586e4157cd8cdbbe12","after":"4ee0af08a36fc6a1be9f1ee1eadda68a8bd1c24d","ref":"refs/heads/master","pushedAt":"2024-06-12T11:06:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Fix spelling and grammar mistakes, based of feedback from Gerry","shortMessageHtmlLink":"Fix spelling and grammar mistakes, based of feedback from Gerry"}},{"before":"1e18a4ebfee667942684f6ee7e2924de0e8f69a6","after":"ef99c3959b5df32953e38d586e4157cd8cdbbe12","ref":"refs/heads/master","pushedAt":"2024-06-12T10:53:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Rewrite Agda code to reduce dependence on funext","shortMessageHtmlLink":"Rewrite Agda code to reduce dependence on funext"}},{"before":"aa9bfdfc60aad975641c33a54446d1b3b2a90a73","after":"1e18a4ebfee667942684f6ee7e2924de0e8f69a6","ref":"refs/heads/master","pushedAt":"2024-06-11T17:19:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Restructure some pieces and add more explanation, integrate unfinished code into the report","shortMessageHtmlLink":"Restructure some pieces and add more explanation, integrate unfinishe…"}},{"before":"a7262f3e7a53ccb7e3898d9d833914d7030f04af","after":"aa9bfdfc60aad975641c33a54446d1b3b2a90a73","ref":"refs/heads/master","pushedAt":"2024-06-11T13:58:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Give the whole paper and correct incosistencies, more changes to come from this read-through","shortMessageHtmlLink":"Give the whole paper and correct incosistencies, more changes to come…"}},{"before":"7b3ea0444633c0ff6202ca98828fd3700bdd06b3","after":"a7262f3e7a53ccb7e3898d9d833914d7030f04af","ref":"refs/heads/master","pushedAt":"2024-06-10T15:50:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Write conclusion and tweak term code and description","shortMessageHtmlLink":"Write conclusion and tweak term code and description"}},{"before":"e2833486bede1db676e606c89084eba695d7b86c","after":"7b3ea0444633c0ff6202ca98828fd3700bdd06b3","ref":"refs/heads/master","pushedAt":"2024-06-10T10:31:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Fix weak reference and make more grammar tweaks","shortMessageHtmlLink":"Fix weak reference and make more grammar tweaks"}},{"before":"73dd056d9ab7e611a9e12eac1bdb5a162f9fe2be","after":"e2833486bede1db676e606c89084eba695d7b86c","ref":"refs/heads/master","pushedAt":"2024-06-10T09:10:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"More spelling and grammar tweaks","shortMessageHtmlLink":"More spelling and grammar tweaks"}},{"before":"f12eb466dfa93fbde7981a80091b770891a07542","after":"73dd056d9ab7e611a9e12eac1bdb5a162f9fe2be","ref":"refs/heads/master","pushedAt":"2024-06-07T14:21:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make spelling and grammar passes for non-agda and haskell code part of report","shortMessageHtmlLink":"Make spelling and grammar passes for non-agda and haskell code part o…"}},{"before":"2272a5489337b42feaa7124fb02e3db718545abc","after":"f12eb466dfa93fbde7981a80091b770891a07542","ref":"refs/heads/master","pushedAt":"2024-06-06T15:05:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Make more minor corrections to the text","shortMessageHtmlLink":"Make more minor corrections to the text"}},{"before":"01520964bdf3c477665ad65d754d3e3cc7ff8073","after":"2272a5489337b42feaa7124fb02e3db718545abc","ref":"refs/heads/master","pushedAt":"2024-06-06T14:31:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Fix overflow of Agda code over the margins of the page and make minor spelling corrections","shortMessageHtmlLink":"Fix overflow of Agda code over the margins of the page and make minor…"}},{"before":"f5fc9418271977ac7f783a70ec9f997978d94da5","after":"01520964bdf3c477665ad65d754d3e3cc7ff8073","ref":"refs/heads/master","pushedAt":"2024-06-06T10:31:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add titlepage and abstract page","shortMessageHtmlLink":"Add titlepage and abstract page"}},{"before":"d07dae3f4867c2686edfc8503d17942e8294b850","after":"f5fc9418271977ac7f783a70ec9f997978d94da5","ref":"refs/heads/master","pushedAt":"2024-06-06T09:09:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Continue discussion of results","shortMessageHtmlLink":"Continue discussion of results"}},{"before":"3d4ecae192d44395ada7f786fff7ca02562a997e","after":"d07dae3f4867c2686edfc8503d17942e8294b850","ref":"refs/heads/master","pushedAt":"2024-06-05T15:43:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add svg to report, now I can properly get to writing","shortMessageHtmlLink":"Add svg to report, now I can properly get to writing"}},{"before":"36ddf0fb30bd94ae418d590240770b29ebc7ce99","after":"3d4ecae192d44395ada7f786fff7ca02562a997e","ref":"refs/heads/master","pushedAt":"2024-06-05T13:51:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add svg figures, pulled from test5full.csv","shortMessageHtmlLink":"Add svg figures, pulled from test5full.csv"}},{"before":"8c4b17297c0a434e2d11feec079ff38af1f32a4c","after":"36ddf0fb30bd94ae418d590240770b29ebc7ce99","ref":"refs/heads/master","pushedAt":"2024-06-05T13:41:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Push final testing setup","shortMessageHtmlLink":"Push final testing setup"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xN1QxNjozNDowMy4wMDAwMDBazwAAAARnltd2","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xN1QxNjozNDowMy4wMDAwMDBazwAAAARnltd2","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNVQxMzo0MTo1OC4wMDAwMDBazwAAAARdLA4g"}},"title":"Activity · Bigstep22/thesis"}