{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":324272819,"defaultBranch":"main","name":"idris2-lsp","ownerLogin":"idris-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-25T02:34:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/76575679?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705530929.0","currentOid":""},"activityList":{"items":[{"before":"a77ef2d563418925aa274fa29f06880dde43f4ec","after":"07e751bb6372b496844ba0fc22c1692b22e98919","ref":"refs/heads/main","pushedAt":"2024-03-10T05:41:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"Add global package directory to search paths (and update Idris2 submodule) (#215)\n\n* Add global package directory to search paths\r\n\r\n* update Idris2 refs\r\n\r\n* This should get the additional PACKAGE_PATH loaded up into the correct spot.","shortMessageHtmlLink":"Add global package directory to search paths (and update Idris2 submo…"}},{"before":"3bfb51d3e872f8862b94237ca0c0499475fb3e5a","after":"a77ef2d563418925aa274fa29f06880dde43f4ec","ref":"refs/heads/main","pushedAt":"2024-01-22T15:12:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"Update idris2 and Nix naming (#214)\n\n* Update Idris2 and LSP-lib flakerefs. align naming with nixpkgs (idris2-lsp -> idris2Lsp).\r\n\r\n* Update Idris 2 and LSP-lib submodules.","shortMessageHtmlLink":"Update idris2 and Nix naming (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2093142892\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/214\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/214/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/214\">#214</a>)"}},{"before":"f7ae7d2d3fbffce62b61169f182f1ad19403ba3d","after":"3bfb51d3e872f8862b94237ca0c0499475fb3e5a","ref":"refs/heads/main","pushedAt":"2024-01-19T03:33:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"bump idris2 for fix to buildIdris helper (#213)","shortMessageHtmlLink":"bump idris2 for fix to buildIdris helper (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089403560\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/213\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/213/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/213\">#213</a>)"}},{"before":"5b4e3c6774ca983f60e3d3f7e0ec5b3fbc861d27","after":null,"ref":"refs/heads/update-lsp-lib-flakeref","pushedAt":"2024-01-17T22:35:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"}},{"before":"6c3475d9036f671015d8b448df0644b60b681312","after":"f7ae7d2d3fbffce62b61169f182f1ad19403ba3d","ref":"refs/heads/main","pushedAt":"2024-01-17T22:26:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Merge pull request #211 from idris-community/update-lsp-lib-flakeref\n\nbump LSP-lib flakeref","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2087094075\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/211\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/211/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/211\">#211</a> from idris-community/update-lsp-lib-flakeref"}},{"before":null,"after":"5b4e3c6774ca983f60e3d3f7e0ec5b3fbc861d27","ref":"refs/heads/update-lsp-lib-flakeref","pushedAt":"2024-01-17T22:16:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"bump LSP-lib flakeref","shortMessageHtmlLink":"bump LSP-lib flakeref"}},{"before":"9e44cee4fbcc0e1d70801a204ee8bf12f40e66d5","after":"6c3475d9036f671015d8b448df0644b60b681312","ref":"refs/heads/main","pushedAt":"2024-01-14T17:42:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"Add a Nix flake (take 2) (#210)\n\n* underpinnings of flake for LSP\r\n\r\n* use LSP-lib. specify the same ENV as the compiler is wrapped in for the LSP executable.\r\n\r\n* update Idris2 and LSP-lib submodules to latest commits","shortMessageHtmlLink":"Add a Nix flake (take 2) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2074668467\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/210\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/210/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/210\">#210</a>)"}},{"before":"526902b3a2e8e4f203df2cdd9ed26cf5556eeab4","after":"9e44cee4fbcc0e1d70801a204ee8bf12f40e66d5","ref":"refs/heads/main","pushedAt":"2023-12-25T15:28:32.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Merge pull request #209 from idris-community/idris2-0.7.0\n\nUpdate main branch to Idris2 0.7.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054850081\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/209\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/209/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/209\">#209</a> from idris-community/idris2-0.7.0"}},{"before":"526902b3a2e8e4f203df2cdd9ed26cf5556eeab4","after":"dec260f5f3b5b7e923feef8474b44956634afb8a","ref":"refs/heads/idris2-0.7.0","pushedAt":"2023-12-23T17:27:08.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"Merge pull request #208 from mattpolzin/update-idris2-070\n\nCreate branch for Idris 2 (v0.7.0) and updated LSP-lib.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054512932\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/208\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/208/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/208\">#208</a> from mattpolzin/update-idris2-070"}},{"before":null,"after":"526902b3a2e8e4f203df2cdd9ed26cf5556eeab4","ref":"refs/heads/idris2-0.7.0","pushedAt":"2023-12-23T17:25:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"[ upstream ] Add WithDefault handling to visibility (#207)","shortMessageHtmlLink":"[ upstream ] Add WithDefault handling to visibility (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960120417\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/207\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/207/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/207\">#207</a>)"}},{"before":"7fa662a2ae416898152d7423a92cb1584a476304","after":"526902b3a2e8e4f203df2cdd9ed26cf5556eeab4","ref":"refs/heads/main","pushedAt":"2023-10-25T15:42:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ upstream ] Add WithDefault handling to visibility (#207)","shortMessageHtmlLink":"[ upstream ] Add WithDefault handling to visibility (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960120417\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/207\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/207/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/207\">#207</a>)"}},{"before":"c9350e4067113ac184c31db4081b92e94289f87f","after":null,"ref":"refs/heads/split","pushedAt":"2023-08-29T18:58:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"}},{"before":"15ebd8d0face78afd08d20cd95444ef22966215d","after":"7fa662a2ae416898152d7423a92cb1584a476304","ref":"refs/heads/main","pushedAt":"2023-08-29T18:57:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Split the project into a reusable component library `LSP-lib` and an implementation depending on the library (#202)\n\n* Base the code off lib-lsp\r\n\r\n* Update .gitmodules and README\r\n\r\n* Update CI\r\n\r\n* Rename package to `idris2-lsp`; bump package version\r\n\r\n* Properly (?) add submodule\r\n\r\n* Update Makefile\r\n\r\n* Remove a TODO from README","shortMessageHtmlLink":"Split the project into a reusable component library <code>LSP-lib</code> and an …"}},{"before":"759f650d049699fc0d195d19ca574ccd218bf9e2","after":"15ebd8d0face78afd08d20cd95444ef22966215d","ref":"refs/heads/main","pushedAt":"2023-08-28T12:35:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"stefan-hoeck","name":"Stefan Höck","path":"/stefan-hoeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2195420?s=80&v=4"},"commit":{"message":"Merge pull request #203 from dunhamsteve/fix-build\n\nFix build with latest idris","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1865341258\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/203/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/203\">#203</a> from dunhamsteve/fix-build"}},{"before":"3ceb315d97baab0b6b93a6e9b8bc95a27e5c7187","after":"c9350e4067113ac184c31db4081b92e94289f87f","ref":"refs/heads/split","pushedAt":"2023-08-24T14:01:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Remove a TODO from README","shortMessageHtmlLink":"Remove a TODO from README"}},{"before":"d2ac718fd4ddf7440245c73ac6124649e60c1c5b","after":"3ceb315d97baab0b6b93a6e9b8bc95a27e5c7187","ref":"refs/heads/split","pushedAt":"2023-08-24T13:45:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Update Makefile","shortMessageHtmlLink":"Update Makefile"}},{"before":"1321092bf23b30e42aeac33431d97d8aab071187","after":"d2ac718fd4ddf7440245c73ac6124649e60c1c5b","ref":"refs/heads/split","pushedAt":"2023-08-24T12:11:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Properly (?) add submodule","shortMessageHtmlLink":"Properly (?) add submodule"}},{"before":"1431914fc60c2ad9f7aef75a4ac0f8b8bc18b4cb","after":"1321092bf23b30e42aeac33431d97d8aab071187","ref":"refs/heads/split","pushedAt":"2023-08-24T11:38:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":null,"after":"1431914fc60c2ad9f7aef75a4ac0f8b8bc18b4cb","ref":"refs/heads/split","pushedAt":"2023-08-24T11:26:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Russoul","name":"Ruslan Φ.","path":"/Russoul","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7842009?s=80&v=4"},"commit":{"message":"Update .gitmodules and README","shortMessageHtmlLink":"Update .gitmodules and README"}},{"before":"bf3838406cd1043e462638225794ae124a4a8cb8","after":"759f650d049699fc0d195d19ca574ccd218bf9e2","ref":"refs/heads/main","pushedAt":"2023-07-02T12:35:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ShinKage","name":"Giuseppe Lomurno","path":"/ShinKage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1173183?s=80&v=4"},"commit":{"message":"Merge pull request #198 from dunhamsteve/error-metadata\n\nSurface metadata and highlighting in case of error","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1784297124\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/198/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/198\">#198</a> from dunhamsteve/error-metadata"}},{"before":"500f4a989c9583678230bf28a9f7b6a79f6be618","after":"bf3838406cd1043e462638225794ae124a4a8cb8","ref":"refs/heads/main","pushedAt":"2023-07-02T12:35:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ShinKage","name":"Giuseppe Lomurno","path":"/ShinKage","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1173183?s=80&v=4"},"commit":{"message":"Merge pull request #197 from dunhamsteve/brief-completions\n\nAdd option to complete with only the function name","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1784280558\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/197/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/197\">#197</a> from dunhamsteve/brief-completions"}},{"before":"f089170f720dea08493cc2a3f7e4def294502a85","after":null,"ref":"refs/heads/andorp/i139-final","pushedAt":"2023-03-19T19:58:47.028Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"}},{"before":"84966edb579c73416545e35f68dccaad9e0388b4","after":"500f4a989c9583678230bf28a9f7b6a79f6be618","ref":"refs/heads/main","pushedAt":"2023-03-19T19:58:42.012Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Merge pull request #193 from idris-community/andorp/i139-final\n\n[ feature ] Completion request","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1630524959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-community/idris2-lsp/issues/193\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-community/idris2-lsp/pull/193/hovercard\" href=\"https://github.com/idris-community/idris2-lsp/pull/193\">#193</a> from idris-community/andorp/i139-final"}},{"before":"14400115e60f9596ef88996a912a58c70927c12c","after":null,"ref":"refs/heads/andorp/i139","pushedAt":"2023-03-18T21:30:36.482Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"}},{"before":null,"after":"f089170f720dea08493cc2a3f7e4def294502a85","ref":"refs/heads/andorp/i139-final","pushedAt":"2023-03-16T21:12:45.022Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"[ feature ] Completion request","shortMessageHtmlLink":"[ feature ] Completion request"}},{"before":"49a80cfcb71f0a36a67b7f991e4bcb577c6f1d39","after":"14400115e60f9596ef88996a912a58c70927c12c","ref":"refs/heads/andorp/i139","pushedAt":"2023-03-12T20:09:05.117Z","pushType":"push","commitsCount":1,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Comment out debug lines.","shortMessageHtmlLink":"Comment out debug lines."}},{"before":"9ae8caa5c126e6dc7bfdc91c2c9e34c7f3fbd5d1","after":"49a80cfcb71f0a36a67b7f991e4bcb577c6f1d39","ref":"refs/heads/andorp/i139","pushedAt":"2023-03-12T20:07:17.734Z","pushType":"push","commitsCount":3,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"More improvements.","shortMessageHtmlLink":"More improvements."}},{"before":"18cca1993fcbab2a1018c13e98f208567b54c494","after":"9ae8caa5c126e6dc7bfdc91c2c9e34c7f3fbd5d1","ref":"refs/heads/andorp/i139","pushedAt":"2023-03-10T11:14:57.826Z","pushType":"push","commitsCount":1,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Little improvement.","shortMessageHtmlLink":"Little improvement."}},{"before":"0b35a9d19a6d433aff1f6537851998019ab3e783","after":"18cca1993fcbab2a1018c13e98f208567b54c494","ref":"refs/heads/andorp/i139","pushedAt":"2023-03-10T02:40:34.831Z","pushType":"push","commitsCount":1,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Little improvements.","shortMessageHtmlLink":"Little improvements."}},{"before":"9b3c06e5e2d08027dc0cef56b1e92b4f5726399f","after":"0b35a9d19a6d433aff1f6537851998019ab3e783","ref":"refs/heads/andorp/i139","pushedAt":"2023-03-10T02:25:44.597Z","pushType":"push","commitsCount":2,"pusher":{"login":"andorp","name":"Andor Penzes","path":"/andorp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3465327?s=80&v=4"},"commit":{"message":"Simplify VirtualDocument implementation.","shortMessageHtmlLink":"Simplify VirtualDocument implementation."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEUzxGgA","startCursor":null,"endCursor":null}},"title":"Activity · idris-community/idris2-lsp"}