{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":673468646,"defaultBranch":"master","name":"ocyula","ownerLogin":"glyh","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-01T17:36:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12870742?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1690911449.0","currentOid":""},"activityList":{"items":[{"before":"b5fdeb9749653c55c43d9a931ddfea320f309396","after":"4d4b3c22ab8b223919a82b955d9838447a8979ec","ref":"refs/heads/master","pushedAt":"2023-09-14T02:48:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"add more passes","shortMessageHtmlLink":"add more passes"}},{"before":"81a3e074b5f4337a3b65ce819dcf6c2882a4ea7c","after":"b5fdeb9749653c55c43d9a931ddfea320f309396","ref":"refs/heads/master","pushedAt":"2023-09-11T09:30:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"add note on bidi check","shortMessageHtmlLink":"add note on bidi check"}},{"before":"533a2bc0f5f7cec982ee3bea2695fec225f82932","after":"81a3e074b5f4337a3b65ce819dcf6c2882a4ea7c","ref":"refs/heads/master","pushedAt":"2023-09-11T06:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"finish LamPi bidi inference & check along with bool support","shortMessageHtmlLink":"finish LamPi bidi inference & check along with bool support"}},{"before":"9034fd5a46c52d3c3acc58ac5fcafc9c030e8b08","after":"533a2bc0f5f7cec982ee3bea2695fec225f82932","ref":"refs/heads/master","pushedAt":"2023-09-11T03:29:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"LamPi WIP","shortMessageHtmlLink":"LamPi WIP"}},{"before":"c582a23727f053b40d73f2dfbae46ce6c93c32c8","after":"9034fd5a46c52d3c3acc58ac5fcafc9c030e8b08","ref":"refs/heads/master","pushedAt":"2023-09-06T12:47:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"fix parsing casematch","shortMessageHtmlLink":"fix parsing casematch"}},{"before":"d98a96b7c32c0154a6ef2f518647e7dff3ce4fb6","after":"c582a23727f053b40d73f2dfbae46ce6c93c32c8","ref":"refs/heads/master","pushedAt":"2023-09-06T12:34:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"refactor ast series: don't use GADT as it complicate the implementation","shortMessageHtmlLink":"refactor ast series: don't use GADT as it complicate the implementation"}},{"before":"4de9632642414e1676ba98aa3640315dde61a761","after":"d98a96b7c32c0154a6ef2f518647e7dff3ce4fb6","ref":"refs/heads/master","pushedAt":"2023-09-04T08:45:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"use GADT to represent a series of AST","shortMessageHtmlLink":"use GADT to represent a series of AST"}},{"before":"eebc8d4763b2bea9a3df00d5706e3d44068d8a41","after":"4de9632642414e1676ba98aa3640315dde61a761","ref":"refs/heads/master","pushedAt":"2023-08-24T00:21:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"fix parser, now we correctly parse patterns","shortMessageHtmlLink":"fix parser, now we correctly parse patterns"}},{"before":"5d8d0a69123516c888dcf39f167dbe515cca7dd9","after":"eebc8d4763b2bea9a3df00d5706e3d44068d8a41","ref":"refs/heads/master","pushedAt":"2023-08-23T21:34:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"refactor parser to support parsing patterns and updatable patterns directly","shortMessageHtmlLink":"refactor parser to support parsing patterns and updatable patterns di…"}},{"before":"224a7c9bff11ad496cf7af0943dc2cb3993d9b1d","after":"5d8d0a69123516c888dcf39f167dbe515cca7dd9","ref":"refs/heads/master","pushedAt":"2023-08-22T08:47:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"finish HM type inference and desugar, TODO: refine the typesystem so we can implement pattern matching with dependently typed functions","shortMessageHtmlLink":"finish HM type inference and desugar, TODO: refine the typesystem so …"}},{"before":"2079dd277d08ef90c909ef87cdc6a98a44529849","after":"224a7c9bff11ad496cf7af0943dc2cb3993d9b1d","ref":"refs/heads/master","pushedAt":"2023-08-21T02:45:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"remove github workflow","shortMessageHtmlLink":"remove github workflow"}},{"before":"fa132ffaaa061c5d2fea385b4c96047189bedc64","after":"2079dd277d08ef90c909ef87cdc6a98a44529849","ref":"refs/heads/master","pushedAt":"2023-08-20T17:58:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"add TODO","shortMessageHtmlLink":"add TODO"}},{"before":"c1d8f94a526627de82af9212ce027284656ae8ce","after":"fa132ffaaa061c5d2fea385b4c96047189bedc64","ref":"refs/heads/master","pushedAt":"2023-08-20T17:35:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"Hindley-Milner Type Checker checkpoint: compilation passing","shortMessageHtmlLink":"Hindley-Milner Type Checker checkpoint: compilation passing"}},{"before":"628ce1c6d24ac5aa25529436f7a09c1bf7d95bed","after":"c1d8f94a526627de82af9212ce027284656ae8ce","ref":"refs/heads/master","pushedAt":"2023-08-01T18:03:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"remove workflow","shortMessageHtmlLink":"remove workflow"}},{"before":"0daece0946899ef496b74269d5d52a66ba92dd60","after":"628ce1c6d24ac5aa25529436f7a09c1bf7d95bed","ref":"refs/heads/master","pushedAt":"2023-08-01T18:00:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"note om update match","shortMessageHtmlLink":"note om update match"}},{"before":"7face085830059888c5fe5df650ed231e88993ad","after":"0daece0946899ef496b74269d5d52a66ba92dd60","ref":"refs/heads/master","pushedAt":"2023-08-01T17:39:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":null,"after":"7face085830059888c5fe5df650ed231e88993ad","ref":"refs/heads/master","pushedAt":"2023-08-01T17:37:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"glyh","name":"Yihang Liu","path":"/glyh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12870742?s=80&v=4"},"commit":{"message":"implement basic yula parser, generates elixir code(not runnable now as pattern is dealt without care","shortMessageHtmlLink":"implement basic yula parser, generates elixir code(not runnable now a…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgDLg0AA","startCursor":null,"endCursor":null}},"title":"Activity · glyh/ocyula"}