Futarimiti / idris2-nvim

Simple configuration for NVIM + Idris2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2-nvim

I'm unhappy how they agglutinate lsp and syntax highlights.

This is the pure syntax part of it, modified with my personal taste.

About

Simple configuration for NVIM + Idris2

License:MIT License


Languages

Language:Vim Script 100.0%