ShinKage/idris2-nvim ShinKage/idris2-nvim

  • Stars
    star
    45
  • Rank 624,037 (Top 13 %)
  • Language
    Lua
  • License
    MIT License
  • Created about 3 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ShinKage/idris2-nvim
github

ShinKage

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Simple configuration and extra tools for NVIM + LSP + Idris2

More Repositories

1

nvim-idris2

EXPERIMENTAL: Idris2 plugin for neovim in Idris2
Lua
10
star
2

idris2-sdl

Experimental SDL2 bindings for Idris2
Idris
6
star
3

rewrite

Verified directed graph rewriting with Idris
Idris
2
star