{
  name = "idris";
  owner = "kayhide";
  repo = "tree-sitter-idris";
  rev = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
}