{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":528889322,"defaultBranch":"main","name":"arrays","ownerLogin":"LambdaQs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-25T14:33:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/105535280?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1688497428.0","currentOid":""},"activityList":{"items":[{"before":"a8751c494f935d2d4aa0273015fd97e7e316a020","after":"66516dd09b32534a1201f9b3ed6d872d743e0d15","ref":"refs/heads/no-curry","pushedAt":"2023-09-08T04:29:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"more testing, fixed the case where function is an argument","shortMessageHtmlLink":"more testing, fixed the case where function is an argument"}},{"before":"acaf6734164d90decef948894073d01158a443c5","after":"a8751c494f935d2d4aa0273015fd97e7e316a020","ref":"refs/heads/no-curry","pushedAt":"2023-08-23T17:24:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"added cnotcheck.ml and corresponding files","shortMessageHtmlLink":"added cnotcheck.ml and corresponding files"}},{"before":"8bd728c330c7c77a37ddb6ffa4c91eb7d4ff25c6","after":"acaf6734164d90decef948894073d01158a443c5","ref":"refs/heads/no-curry","pushedAt":"2023-08-20T20:07:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"before changes","shortMessageHtmlLink":"before changes"}},{"before":"149cf05c2966809beee6993040ce59d9d07dca6d","after":"8bd728c330c7c77a37ddb6ffa4c91eb7d4ff25c6","ref":"refs/heads/no-curry","pushedAt":"2023-07-27T21:42:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"added dune file and made corresponding changes in files to avoid new errors","shortMessageHtmlLink":"added dune file and made corresponding changes in files to avoid new …"}},{"before":"4d4f3b632e02e10c23e8b6f32a0e56170619036f","after":"149cf05c2966809beee6993040ce59d9d07dca6d","ref":"refs/heads/no-curry","pushedAt":"2023-07-24T21:28:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"made more progress on Clonecheck1.ml","shortMessageHtmlLink":"made more progress on Clonecheck1.ml"}},{"before":"abcd37e31ef6149d17db7204d764528c91cb79bd","after":"4d4f3b632e02e10c23e8b6f32a0e56170619036f","ref":"refs/heads/no-curry","pushedAt":"2023-07-21T16:44:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"started working on clone checker","shortMessageHtmlLink":"started working on clone checker"}},{"before":"f496699d5dc88ea173e3cc4f5968ab6d6cd0b289","after":"abcd37e31ef6149d17db7204d764528c91cb79bd","ref":"refs/heads/no-curry","pushedAt":"2023-07-15T18:56:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"updated grammar file","shortMessageHtmlLink":"updated grammar file"}},{"before":"285615615286ea82851c90b3f3f44e9efafe7a3c","after":"f496699d5dc88ea173e3cc4f5968ab6d6cd0b289","ref":"refs/heads/no-curry","pushedAt":"2023-07-14T05:31:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"first prototype of most rest zip using ocaml-z3 api","shortMessageHtmlLink":"first prototype of most rest zip using ocaml-z3 api"}},{"before":"34d12afeb1d884abacb880f0fc1bb9158b6655a3","after":"285615615286ea82851c90b3f3f44e9efafe7a3c","ref":"refs/heads/no-curry","pushedAt":"2023-07-04T19:09:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"slightly altered .qs files","shortMessageHtmlLink":"slightly altered .qs files"}},{"before":"d7bf89dc2bed3929b03884b7d8c52eb0aa989533","after":"34d12afeb1d884abacb880f0fc1bb9158b6655a3","ref":"refs/heads/no-curry","pushedAt":"2023-07-04T19:08:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"changed grammar so functions are not curried, fixed elab.ml accordingly, also added z3 examples","shortMessageHtmlLink":"changed grammar so functions are not curried, fixed elab.ml according…"}},{"before":null,"after":"d7bf89dc2bed3929b03884b7d8c52eb0aa989533","ref":"refs/heads/no-curry","pushedAt":"2023-07-04T19:03:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"pushing changes made after feb 23","shortMessageHtmlLink":"pushing changes made after feb 23"}},{"before":"d7bf89dc2bed3929b03884b7d8c52eb0aa989533","after":"67a9aaf8254d6bdb5fd3477827ec4051f56bfaa6","ref":"refs/heads/main","pushedAt":"2023-06-21T00:44:57.933Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"slightly altered .qs files","shortMessageHtmlLink":"slightly altered .qs files"}},{"before":"c4a3f79f425001f1e5ae6296d1be1608b8556951","after":"d7bf89dc2bed3929b03884b7d8c52eb0aa989533","ref":"refs/heads/main","pushedAt":"2023-06-20T19:46:28.199Z","pushType":"push","commitsCount":1,"pusher":{"login":"jakezweifler","name":null,"path":"/jakezweifler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46360697?s=80&v=4"},"commit":{"message":"pushing changes made after feb 23","shortMessageHtmlLink":"pushing changes made after feb 23"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADe_tk6gA","startCursor":null,"endCursor":null}},"title":"Activity · LambdaQs/arrays"}