{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":714002079,"defaultBranch":"main","name":"nemo-lang","ownerLogin":"kritzcreek","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-03T17:40:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6189397?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726759718.0","currentOid":""},"activityList":{"items":[{"before":"1e04336dcc2589a63dffbfaf7e28c32d8be18f7b","after":"3c2c9af7574910b356416bd6e94a438d3c45d12e","ref":"refs/heads/main","pushedAt":"2024-09-19T17:52:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"emit documentation during indexing","shortMessageHtmlLink":"emit documentation during indexing"}},{"before":"0c05f8142e6e5f85ff5c303c2fa1c5d6d5f47a92","after":"7e9b16339e634462d48757df6927df3fd0f34096","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T16:45:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"updates playground","shortMessageHtmlLink":"updates playground"}},{"before":"fda28ba2f8ae9b98ead85300c5f143c9e0de59dd","after":"1e04336dcc2589a63dffbfaf7e28c32d8be18f7b","ref":"refs/heads/main","pushedAt":"2024-09-19T16:44:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"fixes sourcegraph example","shortMessageHtmlLink":"fixes sourcegraph example"}},{"before":"64b7256b1485d1434588749ec9c6be5049fd0e6d","after":"0c05f8142e6e5f85ff5c303c2fa1c5d6d5f47a92","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T16:21:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"updates playground","shortMessageHtmlLink":"updates playground"}},{"before":"6dce6348e8f0e362e69c916882fc268b96e7bed1","after":"fda28ba2f8ae9b98ead85300c5f143c9e0de59dd","ref":"refs/heads/main","pushedAt":"2024-09-19T16:00:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"fixes example","shortMessageHtmlLink":"fixes example"}},{"before":"4e3a8008da3d3ca3995bc235d90d88bfbb19bc50","after":"6dce6348e8f0e362e69c916882fc268b96e7bed1","ref":"refs/heads/main","pushedAt":"2024-09-19T15:39:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"removes unused global from example code","shortMessageHtmlLink":"removes unused global from example code"}},{"before":"cda34cccc95005f77dcb34130f0b5045caae0abf","after":null,"ref":"refs/heads/scip","pushedAt":"2024-09-19T15:28:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"}},{"before":"76db2a2c6553e90c905778abfc462dcbb4827dbe","after":"4e3a8008da3d3ca3995bc235d90d88bfbb19bc50","ref":"refs/heads/main","pushedAt":"2024-09-19T15:28:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"Implements a SCIP indexer (#38)","shortMessageHtmlLink":"Implements a SCIP indexer (#38)"}},{"before":"84a41f2ca3672e0b3cb0758a7c116840388da89a","after":"cda34cccc95005f77dcb34130f0b5045caae0abf","ref":"refs/heads/scip","pushedAt":"2024-09-19T15:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"make TS happy","shortMessageHtmlLink":"make TS happy"}},{"before":"85e87bace9639d5a71b782c9b5657580330069a4","after":"84a41f2ca3672e0b3cb0758a7c116840388da89a","ref":"refs/heads/scip","pushedAt":"2024-09-19T15:23:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"Merge branch 'main' into scip","shortMessageHtmlLink":"Merge branch 'main' into scip"}},{"before":"1ace8bd9102996bf2e791d437faa0956e167bc24","after":"85e87bace9639d5a71b782c9b5657580330069a4","ref":"refs/heads/scip","pushedAt":"2024-09-19T15:20:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"get started on a vec module","shortMessageHtmlLink":"get started on a vec module"}},{"before":null,"after":"1ace8bd9102996bf2e791d437faa0956e167bc24","ref":"refs/heads/scip","pushedAt":"2024-09-19T15:10:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"allows declaring a `main` module for playground modules","shortMessageHtmlLink":"allows declaring a main module for playground modules"}},{"before":"8065d951d3fae07be8a40ea7e742e657402b4a4d","after":"76db2a2c6553e90c905778abfc462dcbb4827dbe","ref":"refs/heads/main","pushedAt":"2024-09-18T12:48:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"makes hop dependency git based","shortMessageHtmlLink":"makes hop dependency git based"}},{"before":"f7281c4020dd97f1ea877c36c2aa4ab4c313c035","after":null,"ref":"refs/heads/scip","pushedAt":"2024-09-18T12:44:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"}},{"before":"34b6e53f1b52dd8b12262653af5285dbae49502d","after":"8065d951d3fae07be8a40ea7e742e657402b4a4d","ref":"refs/heads/main","pushedAt":"2024-09-18T12:44:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"Implements a SCIP indexer (#37)","shortMessageHtmlLink":"Implements a SCIP indexer (#37)"}},{"before":"4d3824a5205c43a9fb6763a8fab810a73990351e","after":"f7281c4020dd97f1ea877c36c2aa4ab4c313c035","ref":"refs/heads/scip","pushedAt":"2024-09-18T12:42:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d2b3ba27a98db84b323a7801fe8798dfa7ac802f","after":"4d3824a5205c43a9fb6763a8fab810a73990351e","ref":"refs/heads/scip","pushedAt":"2024-09-18T12:37:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"d2b3ba27a98db84b323a7801fe8798dfa7ac802f","ref":"refs/heads/scip","pushedAt":"2024-09-14T12:35:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"0b0e5034ff27f89e815b34aeaabce2ef9c9f1dc9","after":"34b6e53f1b52dd8b12262653af5285dbae49502d","ref":"refs/heads/main","pushedAt":"2024-09-11T07:38:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"version updates","shortMessageHtmlLink":"version updates"}},{"before":"3170922f68aea6f5e3f2961c48e8328c05b00ec9","after":"0b0e5034ff27f89e815b34aeaabce2ef9c9f1dc9","ref":"refs/heads/main","pushedAt":"2024-09-08T08:42:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"removes qualified type constructors from the surface syntax","shortMessageHtmlLink":"removes qualified type constructors from the surface syntax"}},{"before":"abac6e0c59c7461ee949919524a7460903b5599f","after":"64b7256b1485d1434588749ec9c6be5049fd0e6d","ref":"refs/heads/gh-pages","pushedAt":"2024-08-31T09:56:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"updates playground","shortMessageHtmlLink":"updates playground"}},{"before":"5bc3b03931c020150bc7fff89c83f2f2c6743c33","after":null,"ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-31T09:55:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"}},{"before":"f18629e72b0c58922ead42ce2a3d1457062a4bc9","after":"3170922f68aea6f5e3f2961c48e8328c05b00ec9","ref":"refs/heads/main","pushedAt":"2024-08-31T09:55:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"Refactor type checker scope to remove clone's (#25)\n\nSplits the TyCtx into a mutable `Scope` part and a mostly immutable `TyCtx`, so we can easily uses references into TyCtx throughout the type checker.","shortMessageHtmlLink":"Refactor type checker scope to remove clone's (#25)"}},{"before":"01de560e6f383b3625475d5ac2ee9c2b80f273fb","after":"5bc3b03931c020150bc7fff89c83f2f2c6743c33","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-31T09:53:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"add TODO comment for future","shortMessageHtmlLink":"add TODO comment for future"}},{"before":"b5b50f6fa6ab4d3928095baccd0bc57ce198843b","after":"01de560e6f383b3625475d5ac2ee9c2b80f273fb","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-31T09:48:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"fix lints","shortMessageHtmlLink":"fix lints"}},{"before":"406df4a5a2479d78778722a195379439fade3f4d","after":"b5b50f6fa6ab4d3928095baccd0bc57ce198843b","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-31T09:47:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"removes clones for type definitions","shortMessageHtmlLink":"removes clones for type definitions"}},{"before":"40086a13ffdbb63166238fe85aab38cb42786d1e","after":"406df4a5a2479d78778722a195379439fade3f4d","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-31T09:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"updates comments","shortMessageHtmlLink":"updates comments"}},{"before":"de7c68ef69a7f9fd34b580e1c322426c3590260e","after":"40086a13ffdbb63166238fe85aab38cb42786d1e","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-30T16:50:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"remove clone when looking up function def from interface","shortMessageHtmlLink":"remove clone when looking up function def from interface"}},{"before":"dfd1569bf7e8abf844efebdf114044ec486c4b55","after":"de7c68ef69a7f9fd34b580e1c322426c3590260e","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-30T16:42:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"don't require cloning interfaces","shortMessageHtmlLink":"don't require cloning interfaces"}},{"before":"96a99c99f7bd5401dcb573cacc9581188b0073bd","after":"dfd1569bf7e8abf844efebdf114044ec486c4b55","ref":"refs/heads/type-checker-refactor-scope","pushedAt":"2024-08-30T16:19:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kritzcreek","name":"Christoph Hegemann","path":"/kritzcreek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6189397?s=80&v=4"},"commit":{"message":"checking expressions and types now doesn't need a mut Typechecker","shortMessageHtmlLink":"checking expressions and types now doesn't need a mut Typechecker"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNzo1MjoxNC4wMDAwMDBazwAAAAS7Ks7o","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNzo1MjoxNC4wMDAwMDBazwAAAAS7Ks7o","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMFQxNjoxOTowNC4wMDAwMDBazwAAAASo2a5P"}},"title":"Activity ยท kritzcreek/nemo-lang"}