{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":619485156,"defaultBranch":"master","name":"saga","ownerLogin":"tiansivive","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-27T08:30:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2423976?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718918236.0","currentOid":""},"activityList":{"items":[{"before":"ae818cd27de31a313fbb9c97e7ee6dd35cf98674","after":"3dab7e83d26fc4adb3b8570ea43e77ffa166d289","ref":"refs/heads/split-qualified-refined","pushedAt":"2024-06-23T16:23:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"qualified and refined types","shortMessageHtmlLink":"qualified and refined types"}},{"before":null,"after":"ae818cd27de31a313fbb9c97e7ee6dd35cf98674","ref":"refs/heads/split-qualified-refined","pushedAt":"2024-06-20T21:17:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"dealing with subtyping relationships via Polarity","shortMessageHtmlLink":"dealing with subtyping relationships via Polarity"}},{"before":"32ed6ce8aa5a0696a856649ef9a93565dc35ab60","after":"06d92e2c9c598d39ddf202e913dc763c4c2db28d","ref":"refs/heads/row-polymorphism","pushedAt":"2024-06-14T20:52:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"generalizing refactoring","shortMessageHtmlLink":"generalizing refactoring"}},{"before":"8d099bdad0cec423b5d2cf54a27c1a07c0bc541e","after":"32ed6ce8aa5a0696a856649ef9a93565dc35ab60","ref":"refs/heads/row-polymorphism","pushedAt":"2024-06-08T18:26:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"updatinf record elaboration and inference","shortMessageHtmlLink":"updatinf record elaboration and inference"}},{"before":null,"after":"8d099bdad0cec423b5d2cf54a27c1a07c0bc541e","ref":"refs/heads/row-polymorphism","pushedAt":"2024-05-12T11:15:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"introducing row polymorphism","shortMessageHtmlLink":"introducing row polymorphism"}},{"before":"a58c581d33fcc4a75af637502c9a7ae2fdba5a80","after":"8d099bdad0cec423b5d2cf54a27c1a07c0bc541e","ref":"refs/heads/master","pushedAt":"2024-05-12T11:15:33.000Z","pushType":"push","commitsCount":49,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"introducing row polymorphism","shortMessageHtmlLink":"introducing row polymorphism"}},{"before":"eb6077e6c6643b2c5d007419daef8ed42252c990","after":"8d099bdad0cec423b5d2cf54a27c1a07c0bc541e","ref":"refs/heads/ast-phases","pushedAt":"2024-05-12T11:15:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"introducing row polymorphism","shortMessageHtmlLink":"introducing row polymorphism"}},{"before":"bd3619ca0b95908c23a209e2594726e3d9f01285","after":"eb6077e6c6643b2c5d007419daef8ed42252c990","ref":"refs/heads/ast-phases","pushedAt":"2024-05-07T10:21:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"elaborating protocols and implementation decs. Solving scoped consstraints","shortMessageHtmlLink":"elaborating protocols and implementation decs. Solving scoped consstr…"}},{"before":"93408e4f29bac08c39ba5ba53745f32d7ac393e3","after":"bd3619ca0b95908c23a209e2594726e3d9f01285","ref":"refs/heads/ast-phases","pushedAt":"2024-05-04T13:28:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"elaborating protocols and implementation decs. Solving scoped consstraints","shortMessageHtmlLink":"elaborating protocols and implementation decs. Solving scoped consstr…"}},{"before":"7266c4ad053ae2679a36171cc786840cdf467a06","after":"93408e4f29bac08c39ba5ba53745f32d7ac393e3","ref":"refs/heads/ast-phases","pushedAt":"2024-05-03T10:13:10.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"protocol implementation wip","shortMessageHtmlLink":"protocol implementation wip"}},{"before":"55d43c18bf4c8c651d009112561aed4f5b9bb2c5","after":"7266c4ad053ae2679a36171cc786840cdf467a06","ref":"refs/heads/ast-phases","pushedAt":"2024-04-14T08:46:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"simplifying protocol spec types","shortMessageHtmlLink":"simplifying protocol spec types"}},{"before":"71e77bf239d2dae89e4ab698edfc92a56e66c82d","after":"55d43c18bf4c8c651d009112561aed4f5b9bb2c5","ref":"refs/heads/ast-phases","pushedAt":"2024-04-13T09:55:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"testing implications and constraint solving algo","shortMessageHtmlLink":"testing implications and constraint solving algo"}},{"before":"f83e17c1fe53adfb9bb1775d9e9b5766c7c2266d","after":"71e77bf239d2dae89e4ab698edfc92a56e66c82d","ref":"refs/heads/ast-phases","pushedAt":"2024-04-02T18:13:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"refinement spec","shortMessageHtmlLink":"refinement spec"}},{"before":"ed376bad19e7814004c7e2f3fe01e733ceb49b8e","after":"f83e17c1fe53adfb9bb1775d9e9b5766c7c2266d","ref":"refs/heads/ast-phases","pushedAt":"2024-03-26T13:25:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"more tests","shortMessageHtmlLink":"more tests"}},{"before":"b708ce2e88fa28d1168a620e899f74bae341dbb1","after":"ed376bad19e7814004c7e2f3fe01e733ceb49b8e","ref":"refs/heads/ast-phases","pushedAt":"2024-03-22T17:29:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"type elaboration tests wip","shortMessageHtmlLink":"type elaboration tests wip"}},{"before":"2bd1502b552f436bbe2a420b2ed214eda59b3102","after":"b708ce2e88fa28d1168a620e899f74bae341dbb1","ref":"refs/heads/ast-phases","pushedAt":"2024-03-14T10:41:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"type level pattern matching v1","shortMessageHtmlLink":"type level pattern matching v1"}},{"before":"46217195e43bea8a719cba7f2203cdb709045c11","after":"2bd1502b552f436bbe2a420b2ed214eda59b3102","ref":"refs/heads/ast-phases","pushedAt":"2024-02-08T20:16:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"savepoint","shortMessageHtmlLink":"savepoint"}},{"before":"dff57a0d35d3c32b9dc2ccddf23c5e567390661b","after":"46217195e43bea8a719cba7f2203cdb709045c11","ref":"refs/heads/ast-phases","pushedAt":"2024-02-07T21:25:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"NUKING old files","shortMessageHtmlLink":"NUKING old files"}},{"before":"c3a87ae2e932db05d10c8cbd5382c5fc98b911c1","after":"dff57a0d35d3c32b9dc2ccddf23c5e567390661b","ref":"refs/heads/ast-phases","pushedAt":"2024-02-07T10:44:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"small fixes","shortMessageHtmlLink":"small fixes"}},{"before":"445696f74a6fc0c630d0edc0ec193845e474e895","after":"c3a87ae2e932db05d10c8cbd5382c5fc98b911c1","ref":"refs/heads/ast-phases","pushedAt":"2024-02-06T10:21:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"cleaning up","shortMessageHtmlLink":"cleaning up"}},{"before":"9c730944691025333d23238cd9036c6aab253a8e","after":"445696f74a6fc0c630d0edc0ec193845e474e895","ref":"refs/heads/ast-phases","pushedAt":"2024-02-06T10:17:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"zonking and normalisation","shortMessageHtmlLink":"zonking and normalisation"}},{"before":"44f9cf8789a9364fbf88d1adbdfe4b588e0374e4","after":"9c730944691025333d23238cd9036c6aab253a8e","ref":"refs/heads/ast-phases","pushedAt":"2024-02-05T15:33:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"f856484cb0ded1907b1c73c05141b87994954ba7","after":"44f9cf8789a9364fbf88d1adbdfe4b588e0374e4","ref":"refs/heads/ast-phases","pushedAt":"2024-02-04T21:43:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"using generics","shortMessageHtmlLink":"using generics"}},{"before":"0b23a7ca22b9a4fa9733023a66e08d955ac4852c","after":"f856484cb0ded1907b1c73c05141b87994954ba7","ref":"refs/heads/ast-phases","pushedAt":"2024-02-03T15:11:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"zonking prep","shortMessageHtmlLink":"zonking prep"}},{"before":"af51b35ced4326d0ac9051485fef4db96957ed8d","after":"0b23a7ca22b9a4fa9733023a66e08d955ac4852c","ref":"refs/heads/ast-phases","pushedAt":"2024-02-03T15:05:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"zonking prep","shortMessageHtmlLink":"zonking prep"}},{"before":"df7593337e401295c108b9506e67997149556cab","after":"af51b35ced4326d0ac9051485fef4db96957ed8d","ref":"refs/heads/ast-phases","pushedAt":"2024-02-03T11:19:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"12354233d32467704bf19dd68fb2b1c48a873432","after":"df7593337e401295c108b9506e67997149556cab","ref":"refs/heads/ast-phases","pushedAt":"2024-02-03T00:19:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"refinments","shortMessageHtmlLink":"refinments"}},{"before":"969995d390100b93c4c91301272432184df3419c","after":"12354233d32467704bf19dd68fb2b1c48a873432","ref":"refs/heads/ast-phases","pushedAt":"2024-02-02T20:35:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"4ed5567bcad58f2a474e41747bbad5428ebb8b94","after":"969995d390100b93c4c91301272432184df3419c","ref":"refs/heads/ast-phases","pushedAt":"2024-02-02T19:56:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"1dfc08985a1eb248e9ddc5d67cff1caf21583816","after":"4ed5567bcad58f2a474e41747bbad5428ebb8b94","ref":"refs/heads/ast-phases","pushedAt":"2024-02-02T13:27:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tiansivive","name":"Tiago Vila Verde","path":"/tiansivive","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2423976?s=80&v=4"},"commit":{"message":"elaborating type applications","shortMessageHtmlLink":"elaborating type applications"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yM1QxNjoyMzo1Ny4wMDAwMDBazwAAAARs1Ir9","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yM1QxNjoyMzo1Ny4wMDAwMDBazwAAAARs1Ir9","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wMlQxMzoyNzoxNi4wMDAwMDBazwAAAAPwOyQa"}},"title":"Activity · tiansivive/saga"}