{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":395536587,"defaultBranch":"mlscript","name":"mlscript","ownerLogin":"hkust-taco","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-08-13T05:58:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/88874051?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712834409.0","currentOid":""},"activityList":{"items":[{"before":"dd9a0cdac766f08aab0a39f3cf7e039cab0fd62c","after":"4a5a0387a6bd12c93de153a6c510f868f7342aa2","ref":"refs/heads/mlscript","pushedAt":"2024-07-30T09:41:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Clean up DiffTests and fix its use in `compiler` subproject","shortMessageHtmlLink":"Clean up DiffTests and fix its use in <code>compiler</code> subproject"}},{"before":"13ba521ef821d5b2c0b1713a6e9280b13b3a3894","after":"dd9a0cdac766f08aab0a39f3cf7e039cab0fd62c","ref":"refs/heads/mlscript","pushedAt":"2024-07-30T08:55:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Update NodeTests","shortMessageHtmlLink":"Update NodeTests"}},{"before":"211430d1ada45861743d3840020e2676c0e4ed18","after":"13ba521ef821d5b2c0b1713a6e9280b13b3a3894","ref":"refs/heads/mlscript","pushedAt":"2024-06-20T03:56:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Tail Recursion Optimization (#218)","shortMessageHtmlLink":"Tail Recursion Optimization (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2214906227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/218\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/218/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/218\">#218</a>)"}},{"before":"69738faa577ca3052a590fae931acd44bd60cf89","after":"211430d1ada45861743d3840020e2676c0e4ed18","ref":"refs/heads/mlscript","pushedAt":"2024-06-18T05:27:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Defunctionalization with simple-sub Control-flow Analysis (#222)","shortMessageHtmlLink":"Defunctionalization with simple-sub Control-flow Analysis (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303391116\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/222\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/222/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/222\">#222</a>)"}},{"before":"8927be72c37aa4e4a1315251e55c3efa9c4f3272","after":"69738faa577ca3052a590fae931acd44bd60cf89","ref":"refs/heads/mlscript","pushedAt":"2024-05-23T14:03:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add test to point out current limitation in `unapply` support","shortMessageHtmlLink":"Add test to point out current limitation in <code>unapply</code> support"}},{"before":"a1de9b6bdb4776fa85bb88dddeae33ba1c00838f","after":"8927be72c37aa4e4a1315251e55c3efa9c4f3272","ref":"refs/heads/mlscript","pushedAt":"2024-05-23T03:41:11.000Z","pushType":"pr_merge","commitsCount":141,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Merge pull request #194 from chengluyu/pretyper\n\nNew UCS desugarer and rudimentary `PreTyper`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2008782444\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/194\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/194/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/194\">#194</a> from chengluyu/pretyper"}},{"before":"4923fb85b29e448a2716f56b749a6a1b5ffd75d5","after":"a1de9b6bdb4776fa85bb88dddeae33ba1c00838f","ref":"refs/heads/mlscript","pushedAt":"2024-05-17T09:45:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Fix statement desugar in `Unquote` (#221)","shortMessageHtmlLink":"Fix statement desugar in <code>Unquote</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301764453\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/221\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/221/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/221\">#221</a>)"}},{"before":"f6be56bbdafc784fe22f4ae03fb5cdb9377ae598","after":"4923fb85b29e448a2716f56b749a6a1b5ffd75d5","ref":"refs/heads/mlscript","pushedAt":"2024-05-03T07:22:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add interesting extrusion test","shortMessageHtmlLink":"Add interesting extrusion test"}},{"before":"e768dfa60f0b53d8134faf1f5fcb59e406fe8880","after":null,"ref":"refs/heads/generalized-pratt-prasing","pushedAt":"2024-04-11T11:20:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chengluyu","name":"Luyu Cheng","path":"/chengluyu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2239547?s=80&v=4"}},{"before":null,"after":"e768dfa60f0b53d8134faf1f5fcb59e406fe8880","ref":"refs/heads/generalized-pratt-prasing","pushedAt":"2024-04-09T07:37:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"chengluyu","name":"Luyu Cheng","path":"/chengluyu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2239547?s=80&v=4"},"commit":{"message":"Remove semantics the sub-package","shortMessageHtmlLink":"Remove semantics the sub-package"}},{"before":"24249808dabd0b3bf4c758e4c5f38d3cf277c9ea","after":"f6be56bbdafc784fe22f4ae03fb5cdb9377ae598","ref":"refs/heads/mlscript","pushedAt":"2024-04-02T03:43:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add a couple of useful tests","shortMessageHtmlLink":"Add a couple of useful tests"}},{"before":"703b3ccf35472102ccd16629d5d03a99f5a64013","after":"24249808dabd0b3bf4c758e4c5f38d3cf277c9ea","ref":"refs/heads/mlscript","pushedAt":"2024-03-19T14:58:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Consolidate some SBT options","shortMessageHtmlLink":"Consolidate some SBT options"}},{"before":"2bb341bc28c2ed385d103021fd92bcd0bf1c2567","after":"703b3ccf35472102ccd16629d5d03a99f5a64013","ref":"refs/heads/mlscript","pushedAt":"2024-03-19T09:03:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Fix handling of `let` bindings in type definitions\n\nDisallow accessing them as fields and using them as implementations","shortMessageHtmlLink":"Fix handling of <code>let</code> bindings in type definitions"}},{"before":"1be5a145c9c5303c27142078deef8c88554cf89b","after":"2bb341bc28c2ed385d103021fd92bcd0bf1c2567","ref":"refs/heads/mlscript","pushedAt":"2024-03-18T15:23:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add test","shortMessageHtmlLink":"Add test"}},{"before":"c6a1c1ef86655fb977182b22710e407f2db593d1","after":"1be5a145c9c5303c27142078deef8c88554cf89b","ref":"refs/heads/mlscript","pushedAt":"2024-03-13T07:43:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Fix lack of stability in inferred types (#216)","shortMessageHtmlLink":"Fix lack of stability in inferred types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2178336158\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/216\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/216/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/216\">#216</a>)"}},{"before":"8ff14de1f9576b6d16847562f987d71e84f9feeb","after":"c6a1c1ef86655fb977182b22710e407f2db593d1","ref":"refs/heads/mlscript","pushedAt":"2024-03-11T16:51:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Defunctionalization with base AST (#215)","shortMessageHtmlLink":"Defunctionalization with base AST (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177227315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/215\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/215/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/215\">#215</a>)"}},{"before":"ae2dc339a5cc67f82325dd5d1893a9aeb7c53f37","after":"8ff14de1f9576b6d16847562f987d71e84f9feeb","ref":"refs/heads/mlscript","pushedAt":"2024-03-09T01:35:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add an IR that the optimizer or other components might use (#212)","shortMessageHtmlLink":"Add an IR that the optimizer or other components might use (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2139865653\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/212\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/212/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/212\">#212</a>)"}},{"before":"8ff14de1f9576b6d16847562f987d71e84f9feeb","after":"ae2dc339a5cc67f82325dd5d1893a9aeb7c53f37","ref":"refs/heads/mlscript","pushedAt":"2024-03-08T16:47:04.000Z","pushType":"pr_merge","commitsCount":62,"pusher":{"login":"HarrisL2","name":null,"path":"/HarrisL2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9007821?s=80&v=4"},"commit":{"message":"Merge pull request #196 from HarrisL2/mono-ast-conversion\n\nDefunctionalization with base AST","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2031284294\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/196\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/196/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/196\">#196</a> from HarrisL2/mono-ast-conversion"}},{"before":"a622f80aa93b28d49b1fc1978add1066fb93a255","after":"8ff14de1f9576b6d16847562f987d71e84f9feeb","ref":"refs/heads/mlscript","pushedAt":"2024-03-08T15:30:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add an IR that the optimizer or other components might use (#212)","shortMessageHtmlLink":"Add an IR that the optimizer or other components might use (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2139865653\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/212\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/212/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/212\">#212</a>)"}},{"before":"7ce2b74cb5e0ebeb7ff28fe10830881e7d67b641","after":"a622f80aa93b28d49b1fc1978add1066fb93a255","ref":"refs/heads/mlscript","pushedAt":"2024-03-07T08:34:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Update index.html (#214)\n\nFix suggested command's syntax error.","shortMessageHtmlLink":"Update index.html (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2172973332\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/214\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/214/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/214\">#214</a>)"}},{"before":"67546591677ca3ca835b0090f7611fcc213b95bb","after":"7ce2b74cb5e0ebeb7ff28fe10830881e7d67b641","ref":"refs/heads/new-definition-typing","pushedAt":"2024-02-26T23:40:34.000Z","pushType":"push","commitsCount":136,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Annotation System (#210)\n\nCo-authored-by: Lionel Parreaux <lionel.parreaux@gmail.com>","shortMessageHtmlLink":"Annotation System (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128210991\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/210\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/210/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/210\">#210</a>)"}},{"before":"0b8be7b4ab351a6a41bb8b54de8cad0463f1d0e6","after":"7ce2b74cb5e0ebeb7ff28fe10830881e7d67b641","ref":"refs/heads/mlscript","pushedAt":"2024-02-22T14:56:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Annotation System (#210)\n\nCo-authored-by: Lionel Parreaux <lionel.parreaux@gmail.com>","shortMessageHtmlLink":"Annotation System (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128210991\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/210\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/210/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/210\">#210</a>)"}},{"before":"718e0c0132f558a7144a4051831238f8983bdacb","after":"0b8be7b4ab351a6a41bb8b54de8cad0463f1d0e6","ref":"refs/heads/mlscript","pushedAt":"2024-02-20T12:16:19.000Z","pushType":"pr_merge","commitsCount":134,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Merge pull request #182 from NeilKleistGao/newQ\n\nNew quasiquote implementation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1910876279\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/182\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/182/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/182\">#182</a> from NeilKleistGao/newQ"}},{"before":"67546591677ca3ca835b0090f7611fcc213b95bb","after":"718e0c0132f558a7144a4051831238f8983bdacb","ref":"refs/heads/mlscript","pushedAt":"2024-02-19T16:50:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Fix to mutable fields: their types need to be solidified upon class completion\n\nAlso uncover another, more complex bug, reproduced in Ref.mls","shortMessageHtmlLink":"Fix to mutable fields: their types need to be solidified upon class c…"}},{"before":"1098f95914ba3f8ea69af802964c828807b9e376","after":"67546591677ca3ca835b0090f7611fcc213b95bb","ref":"refs/heads/new-definition-typing","pushedAt":"2024-02-07T16:40:23.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add regression tests for #209","shortMessageHtmlLink":"Add regression tests for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2122776823\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/209\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hkust-taco/mlscript/issues/209/hovercard\" href=\"https://github.com/hkust-taco/mlscript/issues/209\">#209</a>"}},{"before":"a90d2471cbddd3d853dfb2eed7a2cc8175434f29","after":"67546591677ca3ca835b0090f7611fcc213b95bb","ref":"refs/heads/mlscript","pushedAt":"2024-02-07T15:33:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add regression tests for #209","shortMessageHtmlLink":"Add regression tests for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2122776823\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/209\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hkust-taco/mlscript/issues/209/hovercard\" href=\"https://github.com/hkust-taco/mlscript/issues/209\">#209</a>"}},{"before":"73b6e23d99dd272b400c37d1781a3ab6ea9fe69a","after":"a90d2471cbddd3d853dfb2eed7a2cc8175434f29","ref":"refs/heads/mlscript","pushedAt":"2024-02-07T03:02:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Delete obsolete notes","shortMessageHtmlLink":"Delete obsolete notes"}},{"before":"55ae3631be9cd7a7d34c6b20701864858364b6a5","after":"73b6e23d99dd272b400c37d1781a3ab6ea9fe69a","ref":"refs/heads/mlscript","pushedAt":"2024-02-05T10:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Add test case for future splice support","shortMessageHtmlLink":"Add test case for future splice support"}},{"before":"1098f95914ba3f8ea69af802964c828807b9e376","after":"55ae3631be9cd7a7d34c6b20701864858364b6a5","ref":"refs/heads/mlscript","pushedAt":"2024-02-02T03:29:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Fix bug in extrusion (assigned TV level) and hack around prov accumulation explosion\n\nThis commit was back-ported from WIP branch LPTK/local-gadt-wip","shortMessageHtmlLink":"Fix bug in extrusion (assigned TV level) and hack around prov accumul…"}},{"before":"071dd04a31d74ef7425f861d296aebd11f2b726c","after":"1098f95914ba3f8ea69af802964c828807b9e376","ref":"refs/heads/new-definition-typing","pushedAt":"2024-02-01T16:52:55.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"LPTK","name":"Lionel Parreaux","path":"/LPTK","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2545083?s=80&v=4"},"commit":{"message":"Merge pull request #208 from LPTK/imperative-features\n\nAdd imperative features","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2109539641\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hkust-taco/mlscript/issues/208\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hkust-taco/mlscript/pull/208/hovercard\" href=\"https://github.com/hkust-taco/mlscript/pull/208\">#208</a> from LPTK/imperative-features"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEjMzzEgA","startCursor":null,"endCursor":null}},"title":"Activity · hkust-taco/mlscript"}