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