IDRIS grammar for tree-sitter
This crate provides the idris language grammar for use with tree-sitter.