ShinKage/nvim-idris2 ShinKage/nvim-idris2

  • This repository has been archived on 18/Nov/2021
  • Stars
    star
    10
  • Rank 1,798,822 (Top 36 %)
  • Language
    Lua
  • License
    MIT License
  • Created almost 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ShinKage/nvim-idris2
github

ShinKage

Reviews

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

Repository Details

EXPERIMENTAL: Idris2 plugin for neovim in Idris2

More Repositories

1

idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2
Lua
45
star
2

idris2-sdl

Experimental SDL2 bindings for Idris2
Idris
6
star
3

rewrite

Verified directed graph rewriting with Idris
Idris
2
star