tree-sitter parser and Neovim queries for idris
1
Version 0.0.1-1 of tree-sitter-idris was uploaded 14 hours ago. For lua >= 5.1
