A collection of Luasnip snippets for Idris2. Consider it a port of haskell-snippets.nvim. Many of the most useful features are missing, due to lack of a tree-sitter parser for Idris. Much to do!
A collection of Luasnip snippets for Idris2. Consider it a port of haskell-snippets.nvim. Many of the most useful features are missing, due to lack of a tree-sitter parser for Idris. Much to do!