Skip to content

add agda language support (and als language server)#3092

Closed
pretentious7 wants to merge 2 commits intohelix-editor:masterfrom pretentious7:agda-ls
+15

Commits

Commits on Jul 18, 2022