LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

TypeScript

idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

TypeScriptEmerging

Stars

32

Forks

13

Contributors

6

Last push

20mo ago

Recent commits

Latest commits.

feat: update deps, add idris2-lsp.metavars command to show menu to jump to available metavars
1e93392Serhii Khoma20mo ago
Merge remote-tracking branch 'dunhamsteve/markdown-code-blocks'
cc9be42Serhii Khoma20mo ago
add `refineHole` command
f481a80elseLuna22mo ago
Merge pull request #16 from dunhamsteve/brief-completions
5ed9fa1Rodrigo Bamboo23mo ago
default brief completions to true
7658c4cSteve Dunham33mo ago

Highlight idris in markdown files

7b35bf5Steve Dunham34mo ago

Add option to use brief completions (without args)

ca437dbSteve Dunham36mo ago

Merge pull request #12 from lsby/fix-spawn-on-windows

338d474Rodrigo Bamboo40mo ago

Top contributors

Builders behind this project.