Search results

Agda filetype non-detected/non-existing

Status: Open.

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

· foxyseta opened on Dec 27, 2023

No features appear

Status: Open.

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

· auscyber opened on Jun 8, 2021

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