Adapt RefineHole to new parameters - Githubissues

ShinKage / idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2

MIT License

46 stars 8 forks source link

Adapt RefineHole to new parameters #19

Closed ShinKage closed 2 years ago