All issues

Search results

Records and Modules contain the indentation of the next line

Status: Open.

#26 In tree-sitter/tree-sitter-agda;

· eldritch-cookie opened on Oct 7, 2025

npm install error on Win10

Status: Open.

#14 In tree-sitter/tree-sitter-agda;

· zhaoyue-zephyrus opened on Jan 29, 2021

Unicode symbols breaking the scanner

blocked

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In tree-sitter/tree-sitter-agda;

· banacorn opened on Jul 29, 2019

Highlight Set₀ Set₁ ... Setω

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In tree-sitter/tree-sitter-agda;

· banacorn opened on Apr 21, 2019