{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":60966022,"defaultBranch":"master","name":"visualize-cbn","ownerLogin":"well-typed","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-06-12T12:26:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7972992?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704902334.0","currentOid":""},"activityList":{"items":[{"before":"b4dd9f0ec4032b16b625b9f22b8cdff0446d1d85","after":null,"ref":"refs/heads/edsko/selthunkopt","pushedAt":"2024-01-10T15:58:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"}},{"before":"452233cc654628c169e0bdac15ab0b4ddca0ba60","after":"05ac11716a4dcdd700cff0f6c1b894c1ef8cc22d","ref":"refs/heads/master","pushedAt":"2024-01-10T15:58:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #23 from well-typed/edsko/selthunkopt\n\nFix selector thunk optimization","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2074672397\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/visualize-cbn/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/visualize-cbn/pull/23/hovercard\" href=\"https://github.com/well-typed/visualize-cbn/pull/23\">#23</a> from well-typed/edsko/selthunkopt"}},{"before":null,"after":"b4dd9f0ec4032b16b625b9f22b8cdff0446d1d85","ref":"refs/heads/edsko/selthunkopt","pushedAt":"2024-01-10T15:55:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Fix selector thunk optimization\n\nAlso prepare for release 0.2.1.","shortMessageHtmlLink":"Fix selector thunk optimization"}},{"before":"191fefcd16a04b0c88f494aad330ea2d8b794996","after":null,"ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T19:24:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"}},{"before":"ea3af1774db80814f73319256de7357878deb6de","after":"452233cc654628c169e0bdac15ab0b4ddca0ba60","ref":"refs/heads/master","pushedAt":"2023-12-20T19:19:35.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #22 from well-typed/edsko/circular\n\nCircular programs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2051105222\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/visualize-cbn/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/visualize-cbn/pull/22/hovercard\" href=\"https://github.com/well-typed/visualize-cbn/pull/22\">#22</a> from well-typed/edsko/circular"}},{"before":"880028d3498ebb8ee4a2cbd8fac7410108b7692f","after":"191fefcd16a04b0c88f494aad330ea2d8b794996","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T19:14:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Prepare for release 0.2.0","shortMessageHtmlLink":"Prepare for release 0.2.0"}},{"before":"6dc53294135410da2f473dc56353d1426bd984ce","after":"880028d3498ebb8ee4a2cbd8fac7410108b7692f","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T19:13:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Prepare for release 0.2.0","shortMessageHtmlLink":"Prepare for release 0.2.0"}},{"before":"44381831c8db7a9e3a7f0cd04f285752267e030d","after":"6dc53294135410da2f473dc56353d1426bd984ce","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T19:11:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Prepare for release 0.2.0","shortMessageHtmlLink":"Prepare for release 0.2.0"}},{"before":"95b2fd6855834f000ae97ede8abb24ff7af68e67","after":"44381831c8db7a9e3a7f0cd04f285752267e030d","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T19:00:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"4227a04ae7a56d03f323d118a96e81542c968bf1","after":"95b2fd6855834f000ae97ede8abb24ff7af68e67","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T18:55:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Add option to hide prelude from certain step","shortMessageHtmlLink":"Add option to hide prelude from certain step"}},{"before":"966c0fbb0ca3e9e6d175e9fe805f90e0fb993df2","after":"4227a04ae7a56d03f323d118a96e81542c968bf1","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-20T18:53:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Add option to hide prelude from certain step","shortMessageHtmlLink":"Add option to hide prelude from certain step"}},{"before":"9bf052cc59f1e62ca6404c4e55660828505aeb85","after":"966c0fbb0ca3e9e6d175e9fe805f90e0fb993df2","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-19T11:43:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Annotated execution","shortMessageHtmlLink":"Annotated execution"}},{"before":null,"after":"9bf052cc59f1e62ca6404c4e55660828505aeb85","ref":"refs/heads/edsko/circular","pushedAt":"2023-12-17T10:05:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Annotated execution","shortMessageHtmlLink":"Annotated execution"}},{"before":"f4069b22c8d3e062740ed244cd7e0dfecc61a0bf","after":null,"ref":"refs/heads/edsko/unfolder-episode-13","pushedAt":"2023-10-26T07:15:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"}},{"before":"0b6ab38dcabf46a4781a51b3e55b7d6057c28d28","after":"ea3af1774db80814f73319256de7357878deb6de","ref":"refs/heads/master","pushedAt":"2023-10-26T07:15:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #21 from well-typed/edsko/unfolder-episode-13\n\nExamples for Unfolder episode 13","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1962852449\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/visualize-cbn/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/visualize-cbn/pull/21/hovercard\" href=\"https://github.com/well-typed/visualize-cbn/pull/21\">#21</a> from well-typed/edsko/unfolder-episode-13"}},{"before":null,"after":"f4069b22c8d3e062740ed244cd7e0dfecc61a0bf","ref":"refs/heads/edsko/unfolder-episode-13","pushedAt":"2023-10-26T07:05:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Examples for Unfolder episode 13\n\nThis also adds a `--hide-term` command line option for hiding specific terms\nfrom the prelude.","shortMessageHtmlLink":"Examples for Unfolder episode 13"}},{"before":"92d433ab183ab58c6df74f843dd90bfefee554f3","after":"0b6ab38dcabf46a4781a51b3e55b7d6057c28d28","ref":"refs/heads/master","pushedAt":"2023-10-04T11:06:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #20 from andreasabel/ghc-9.8\n\nv0.1.0.2-r3: allow base-4.19, containers-0.7, optparse-applicative-0.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1919187466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/visualize-cbn/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/visualize-cbn/pull/20/hovercard\" href=\"https://github.com/well-typed/visualize-cbn/pull/20\">#20</a> from andreasabel/ghc-9.8"}},{"before":"e83baa1bf8b3c71fa6006b66d14a63053663048d","after":"92d433ab183ab58c6df74f843dd90bfefee554f3","ref":"refs/heads/master","pushedAt":"2023-05-15T09:25:49.179Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #19 from andreasabel/ghc-9.6\n\nBump dependencies and CI for GHC 9.6","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1709677128\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/visualize-cbn/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/visualize-cbn/pull/19/hovercard\" href=\"https://github.com/well-typed/visualize-cbn/pull/19\">#19</a> from andreasabel/ghc-9.6"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3HJNUQA","startCursor":null,"endCursor":null}},"title":"Activity · well-typed/visualize-cbn"}