dev-util/idris2-lsp-lib
Language Server for Idris2
Screenshots
View
Download
BrowseChangeLog
commit 8beff45c799b9de25e6c026f790d1d2839944514
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Dec 29 11:58:26 2023 +0400
new year thing
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
commit 379975053548f7f7a6a418bc230401ae57f7e398
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 16:22:04 2023 +0400
Idris2 Language Server
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Dec 29 11:58:26 2023 +0400
new year thing
Signed-off-by: Miezhiko <Miezhiko@gmail.com>
commit 379975053548f7f7a6a418bc230401ae57f7e398
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Dec 20 16:22:04 2023 +0400
Idris2 Language Server
Signed-off-by: Miezhiko <Miezhiko@gmail.com>