{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":681664228,"defaultBranch":"main","name":"TheoremsInHaskell","ownerLogin":"viniciusmiradouro","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-22T13:46:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/68618012?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692712027.0","currentOid":""},"activityList":{"items":[{"before":"ec39756aca40339d2d82b1a067ee9922bec49f35","after":"1143de90e17c5f8d8e94f345c0cfca4c39b56d8b","ref":"refs/heads/main","pushedAt":"2023-09-20T13:37:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"1802006512815117e033adedb71ceb37288b1564","after":"ec39756aca40339d2d82b1a067ee9922bec49f35","ref":"refs/heads/main","pushedAt":"2023-08-31T16:52:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"0d86a7a9ae30631d6dd7e5f030506bc1bd960699","after":"1802006512815117e033adedb71ceb37288b1564","ref":"refs/heads/main","pushedAt":"2023-08-31T13:53:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"e9d2e5bb6fefcb16e57999460a3eb9ef7fff9033","after":"0d86a7a9ae30631d6dd7e5f030506bc1bd960699","ref":"refs/heads/main","pushedAt":"2023-08-31T13:51:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"e5c72ab5b01041716ea57f531fe143cf9f9e4718","after":"e9d2e5bb6fefcb16e57999460a3eb9ef7fff9033","ref":"refs/heads/main","pushedAt":"2023-08-31T13:49:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"aa2cbb27f6b9a1d89fb953febf7cab41be430943","after":"e5c72ab5b01041716ea57f531fe143cf9f9e4718","ref":"refs/heads/main","pushedAt":"2023-08-31T13:49:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"65f6eef49e48bde5b1a935e81dedb2b73b387fcd","after":"aa2cbb27f6b9a1d89fb953febf7cab41be430943","ref":"refs/heads/main","pushedAt":"2023-08-31T13:48:14.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Naturals are a Monoid under Addition","shortMessageHtmlLink":"Naturals are a Monoid under Addition"}},{"before":"4001e97207c75e49f8ef96b2e0482a38d5f4e0e0","after":"65f6eef49e48bde5b1a935e81dedb2b73b387fcd","ref":"refs/heads/main","pushedAt":"2023-08-28T12:25:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"44eaf8bcd7e0198d14355f9b358b1714b2e34e6b","after":"4001e97207c75e49f8ef96b2e0482a38d5f4e0e0","ref":"refs/heads/main","pushedAt":"2023-08-27T11:38:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Proved the first case of the associativity of multiplication","shortMessageHtmlLink":"Proved the first case of the associativity of multiplication"}},{"before":"5aed686bec985227be56726dcc5f17f79aea1189","after":"44eaf8bcd7e0198d14355f9b358b1714b2e34e6b","ref":"refs/heads/main","pushedAt":"2023-08-27T11:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Proved the first case of the associativity of multiplication","shortMessageHtmlLink":"Proved the first case of the associativity of multiplication"}},{"before":"5fa33e3d12cf5228d45595ac1d2358284dd073ab","after":"5aed686bec985227be56726dcc5f17f79aea1189","ref":"refs/heads/main","pushedAt":"2023-08-27T11:26:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Defined antecessor on naturals","shortMessageHtmlLink":"Defined antecessor on naturals"}},{"before":"7c58cc13b57aa0b154f28e40e893e54d957b9c5d","after":"5fa33e3d12cf5228d45595ac1d2358284dd073ab","ref":"refs/heads/main","pushedAt":"2023-08-26T14:20:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Defined antecessor on naturals","shortMessageHtmlLink":"Defined antecessor on naturals"}},{"before":"c6fa2cf88bff046feea87269da04c2119289dc0f","after":"7c58cc13b57aa0b154f28e40e893e54d957b9c5d","ref":"refs/heads/main","pushedAt":"2023-08-26T14:20:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Defined multiplication on the naturals","shortMessageHtmlLink":"Defined multiplication on the naturals"}},{"before":"be8d4d1044dc5c2d2ba9148ffb59860ddf39788e","after":"c6fa2cf88bff046feea87269da04c2119289dc0f","ref":"refs/heads/main","pushedAt":"2023-08-26T14:15:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"Proved the associativity of addition on the naturals","shortMessageHtmlLink":"Proved the associativity of addition on the naturals"}},{"before":"9a03d0dce92e46627ed2d37bd99abe9e08a4054e","after":"be8d4d1044dc5c2d2ba9148ffb59860ddf39788e","ref":"refs/heads/main","pushedAt":"2023-08-26T14:10:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"README.md written","shortMessageHtmlLink":"README.md written"}},{"before":"df54850a12c4257ef715626b46683adc0b393e3c","after":"9a03d0dce92e46627ed2d37bd99abe9e08a4054e","ref":"refs/heads/main","pushedAt":"2023-08-26T14:04:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"README.md written","shortMessageHtmlLink":"README.md written"}},{"before":"802e28452fa41051b7c5f4dc298a7af399aa7fe9","after":"df54850a12c4257ef715626b46683adc0b393e3c","ref":"refs/heads/main","pushedAt":"2023-08-26T12:54:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"README.md written","shortMessageHtmlLink":"README.md written"}},{"before":"5d434a056120c6cdeca0e9abd52ff0c824212d8e","after":"802e28452fa41051b7c5f4dc298a7af399aa7fe9","ref":"refs/heads/main","pushedAt":"2023-08-26T12:41:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"30f1d1d2464e7ed52275810bc69a658cceb36360","after":"5d434a056120c6cdeca0e9abd52ff0c824212d8e","ref":"refs/heads/main","pushedAt":"2023-08-25T21:20:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"82a891e080cebfdf0c506f3f092a4441bdd29b4f","after":"30f1d1d2464e7ed52275810bc69a658cceb36360","ref":"refs/heads/main","pushedAt":"2023-08-25T19:57:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"9df01a1ef5b30d956e7297e6d1a09421da702e63","after":"82a891e080cebfdf0c506f3f092a4441bdd29b4f","ref":"refs/heads/main","pushedAt":"2023-08-25T18:39:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"377e237bd068ab53e724c5db3855013bcdf7a057","after":"9df01a1ef5b30d956e7297e6d1a09421da702e63","ref":"refs/heads/main","pushedAt":"2023-08-25T18:38:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"def3ddf2de92d7ef453ec329ea78e667ab17fa5a","after":"377e237bd068ab53e724c5db3855013bcdf7a057","ref":"refs/heads/main","pushedAt":"2023-08-25T14:31:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"e75c08f477b23404640be85373939983210edb3b","after":"def3ddf2de92d7ef453ec329ea78e667ab17fa5a","ref":"refs/heads/main","pushedAt":"2023-08-25T13:22:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"aed7ce049ad25376bc47f94ee9f48894709284bb","after":"e75c08f477b23404640be85373939983210edb3b","ref":"refs/heads/main","pushedAt":"2023-08-24T22:06:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"30bcb21bf54b29b1bafd0ad7b0f90b975434ed85","after":"aed7ce049ad25376bc47f94ee9f48894709284bb","ref":"refs/heads/main","pushedAt":"2023-08-24T20:58:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"bc692802e106cff810c41eff2ce8ad305212d321","after":"30bcb21bf54b29b1bafd0ad7b0f90b975434ed85","ref":"refs/heads/main","pushedAt":"2023-08-22T22:45:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"560660dae5d7549e083e5ff7310d5e305361a497","after":"bc692802e106cff810c41eff2ce8ad305212d321","ref":"refs/heads/main","pushedAt":"2023-08-22T22:33:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"ed96ddd915f8f0cb36fcebfcd6f1a16162a65e7b","after":"560660dae5d7549e083e5ff7310d5e305361a497","ref":"refs/heads/main","pushedAt":"2023-08-22T20:59:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}},{"before":"62e9c9ec1510f52f4b04ae9f9dd417fe5fdf604b","after":"ed96ddd915f8f0cb36fcebfcd6f1a16162a65e7b","ref":"refs/heads/main","pushedAt":"2023-08-22T20:58:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"viniciusmiradouro","name":"Vinicius Miradouro","path":"/viniciusmiradouro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68618012?s=80&v=4"},"commit":{"message":"First Commit","shortMessageHtmlLink":"First Commit"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0yMFQxMzozNzowOC4wMDAwMDBazwAAAAOE2-XL","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0yMFQxMzozNzowOC4wMDAwMDBazwAAAAOE2-XL","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0yMlQyMDo1ODozNi4wMDAwMDBazwAAAANwQ5Yg"}},"title":"Activity · viniciusmiradouro/TheoremsInHaskell"}