{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":342301992,"defaultBranch":"main","name":"agda-calf","ownerLogin":"jonsterling","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-25T16:09:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/55057?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723500363.0","currentOid":""},"activityList":{"items":[{"before":"6d62ba32bb4c713e32dd5002b1e3ca124505db3d","after":"ab0b689682c35916134d086b9079ff03daba36e0","ref":"refs/heads/piglet","pushedAt":"2024-08-13T19:56:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Probability?","shortMessageHtmlLink":"Probability?"}},{"before":"1649ca171734eb18450144020a7403cf70a60c14","after":"6d62ba32bb4c713e32dd5002b1e3ca124505db3d","ref":"refs/heads/piglet","pushedAt":"2024-08-12T22:17:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Make flip/1 theorem instead of axiom","shortMessageHtmlLink":"Make flip/1 theorem instead of axiom"}},{"before":"68c5fc7abf67a62707f3853915770925664e3553","after":"1649ca171734eb18450144020a7403cf70a60c14","ref":"refs/heads/piglet","pushedAt":"2024-08-12T22:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Begin die","shortMessageHtmlLink":"Begin die"}},{"before":"47c5484658d9549217d98429c6e310c895fcae0e","after":"68c5fc7abf67a62707f3853915770925664e3553","ref":"refs/heads/piglet","pushedAt":"2024-08-12T22:13:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Rationals","shortMessageHtmlLink":"Rationals"}},{"before":"47a6748438b192bed5343c604534751e99688503","after":"47c5484658d9549217d98429c6e310c895fcae0e","ref":"refs/heads/piglet","pushedAt":"2024-08-12T22:09:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Add `flip`","shortMessageHtmlLink":"Add <code>flip</code>"}},{"before":null,"after":"47a6748438b192bed5343c604534751e99688503","ref":"refs/heads/piglet","pushedAt":"2024-08-12T22:06:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Sketch piglet","shortMessageHtmlLink":"Sketch piglet"}},{"before":"6cfcdcba9dd2f167428d68d4acb82f55c4be1fa2","after":"93cb74edce01d4af88df8b9d0b671aee1b7e9538","ref":"refs/heads/specs","pushedAt":"2024-06-20T05:02:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"join wtf...","shortMessageHtmlLink":"join wtf..."}},{"before":"7868f40c698c4fd8321b780de842899099b53885","after":"6cfcdcba9dd2f167428d68d4acb82f55c4be1fa2","ref":"refs/heads/specs","pushedAt":"2024-06-15T22:11:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"progress on node/assoc in join/inord proof","shortMessageHtmlLink":"progress on node/assoc in join/inord proof"}},{"before":"5e6820823250d77958162ecce6762ba94bce99e4","after":"7868f40c698c4fd8321b780de842899099b53885","ref":"refs/heads/specs","pushedAt":"2024-06-15T21:28:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"got no-flip-join defined","shortMessageHtmlLink":"got no-flip-join defined"}},{"before":"65a9989b5dcebfc1b9a798a6d6d8bfbaef5c0752","after":"5e6820823250d77958162ecce6762ba94bce99e4","ref":"refs/heads/specs","pushedAt":"2024-06-14T18:50:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"removed unnecesary lemmas","shortMessageHtmlLink":"removed unnecesary lemmas"}},{"before":"6ef2fb41ed3cc17dfdbf8eb96895096011739458","after":"65a9989b5dcebfc1b9a798a6d6d8bfbaef5c0752","ref":"refs/heads/specs","pushedAt":"2024-06-14T18:46:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"made a bunch of things explicit to make agda complain less","shortMessageHtmlLink":"made a bunch of things explicit to make agda complain less"}},{"before":"b8bb8806022d6c6549a1030057597dcf32ee9923","after":"6ef2fb41ed3cc17dfdbf8eb96895096011739458","ref":"refs/heads/specs","pushedAt":"2024-06-14T08:15:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"sifjwiofjweojf","shortMessageHtmlLink":"sifjwiofjweojf"}},{"before":"a2255ae1b87b899d8858e7b5877232bf4d3b4b87","after":"b8bb8806022d6c6549a1030057597dcf32ee9923","ref":"refs/heads/specs","pushedAt":"2024-06-14T07:55:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"sofwoifewofjwfjlkjdf","shortMessageHtmlLink":"sofwoifewofjwfjlkjdf"}},{"before":"0901c276fcc00f471d14c0ea2f7aeb73997a87bf","after":"a2255ae1b87b899d8858e7b5877232bf4d3b4b87","ref":"refs/heads/specs","pushedAt":"2024-06-14T07:34:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"osifjsofj","shortMessageHtmlLink":"osifjsofj"}},{"before":"48366035241e001e08eed0f6429db20e502c0e39","after":"0901c276fcc00f471d14c0ea2f7aeb73997a87bf","ref":"refs/heads/specs","pushedAt":"2024-06-14T06:01:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Add flags to calf.agda-lib","shortMessageHtmlLink":"Add flags to calf.agda-lib"}},{"before":"199e19d414b0b3b716d226b56f8d32bfd5d18efa","after":"48366035241e001e08eed0f6429db20e502c0e39","ref":"refs/heads/specs","pushedAt":"2024-06-14T06:00:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Import calf","shortMessageHtmlLink":"Import calf"}},{"before":null,"after":"7d452666161f29887f408b5a0da5edb154267f98","ref":"refs/heads/amortized-coalgebra","pushedAt":"2024-06-10T06:44:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Colax coalgebra morphisms","shortMessageHtmlLink":"Colax coalgebra morphisms"}},{"before":"ce534c4f88a7a08e77aec41c9c17ec3d295dbd35","after":"199e19d414b0b3b716d226b56f8d32bfd5d18efa","ref":"refs/heads/specs","pushedAt":"2024-06-09T16:10:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Experiment","shortMessageHtmlLink":"Experiment"}},{"before":"4ee244e7781fbd72bf28ba2fa29e41c231644b77","after":"ce534c4f88a7a08e77aec41c9c17ec3d295dbd35","ref":"refs/heads/specs","pushedAt":"2024-06-09T06:19:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"need to prove square","shortMessageHtmlLink":"need to prove square"}},{"before":"a783ae27e50d33c01c65d158bb95e473c323dd9e","after":"4ee244e7781fbd72bf28ba2fa29e41c231644b77","ref":"refs/heads/specs","pushedAt":"2024-06-08T05:14:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Cleanup, avoid `tree-append`?","shortMessageHtmlLink":"Cleanup, avoid <code>tree-append</code>?"}},{"before":"00192701a991de0ac78d13907807014187381df1","after":"a783ae27e50d33c01c65d158bb95e473c323dd9e","ref":"refs/heads/specs","pushedAt":"2024-06-08T00:32:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"more progress","shortMessageHtmlLink":"more progress"}},{"before":"c7bb1c652aa2ed3b3d103abec35c58183507d97a","after":"00192701a991de0ac78d13907807014187381df1","ref":"refs/heads/specs","pushedAt":"2024-06-07T19:01:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aricursion","name":"zach","path":"/aricursion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32079362?s=80&v=4"},"commit":{"message":"progress on treaps","shortMessageHtmlLink":"progress on treaps"}},{"before":null,"after":"c7bb1c652aa2ed3b3d103abec35c58183507d97a","ref":"refs/heads/specs","pushedAt":"2024-06-07T05:38:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Initial draft","shortMessageHtmlLink":"Initial draft"}},{"before":"b9c9ca7a6bfddfec6d2022cf74b8de7cc9269125","after":"162925706d7d508ed9db45484f117e6eb228ede6","ref":"refs/heads/gh-pages","pushedAt":"2024-03-16T18:25:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 10f1ba616e1ade017e4048324ae894281379ce08","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/jonsterling/agda-calf/commit/10f1ba616e1ade017e4048324ae894281379ce08/hovercard\" href=\"https://github.com/jonsterling/agda-calf/commit/10f1ba616e1ade017e4048324ae894281379ce08\"><tt>10f1ba6</tt></a>"}},{"before":"005f3d08be220970ab40a5fe64985641b8f1fc46","after":null,"ref":"refs/heads/stdlib-2.0","pushedAt":"2024-03-16T18:00:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"}},{"before":"8825566f3b39e6a6e7eccc4220764dd4ce1cddcb","after":"10f1ba616e1ade017e4048324ae894281379ce08","ref":"refs/heads/main","pushedAt":"2024-03-16T18:00:52.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Merge pull request #52 from jonsterling/stdlib-2.0\n\nUpdate to `agda-stdlib` v2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2189193344\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jonsterling/agda-calf/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jonsterling/agda-calf/pull/52/hovercard\" href=\"https://github.com/jonsterling/agda-calf/pull/52\">#52</a> from jonsterling/stdlib-2.0"}},{"before":"d2a2fd79ceb04ccaa18081271008443d76d7bd4c","after":"005f3d08be220970ab40a5fe64985641b8f1fc46","ref":"refs/heads/stdlib-2.0","pushedAt":"2024-03-15T21:06:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Fix build","shortMessageHtmlLink":"Fix build"}},{"before":"cb5414695a37fb2ed1976d3692ab3c1e7a9e2838","after":"d2a2fd79ceb04ccaa18081271008443d76d7bd4c","ref":"refs/heads/stdlib-2.0","pushedAt":"2024-03-15T17:58:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Fix URL","shortMessageHtmlLink":"Fix URL"}},{"before":null,"after":"cb5414695a37fb2ed1976d3692ab3c1e7a9e2838","ref":"refs/heads/stdlib-2.0","pushedAt":"2024-03-15T17:58:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Update to stdlib 2.0","shortMessageHtmlLink":"Update to stdlib 2.0"}},{"before":"a2109d103e6090d96b89e74d288ccd2e638ea916","after":"4cfa440f3a4fc2d50607ffe7dc76aa2d45a0c9c3","ref":"refs/heads/abstraction","pushedAt":"2023-12-23T04:18:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HarrisonGrodin","name":"Harrison Grodin","path":"/HarrisonGrodin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25474424?s=80&v=4"},"commit":{"message":"Sketch `View`/`TypeWithGhost`","shortMessageHtmlLink":"Sketch <code>View</code>/<code>TypeWithGhost</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEmZFGcQA","startCursor":null,"endCursor":null}},"title":"Activity · jonsterling/agda-calf"}