tree-sitter/tree-sitter-agda

Issues

• Assertion failed: symbol < self->token_count (lib/src/language.c: ts_language_table_entry: 46)

  #24 opened 7 months ago by foxyseta
  0

• Agda filetype non-detected/non-existing

  #21 opened a year ago by foxyseta
  0

• No features appear

  #15 opened 4 years ago by auscyber
  0

• npm install error on Win10

  #14 opened 4 years ago by zhaoyue-zephyrus
  0

• Failed to load a language-agda package grammar

  #11 opened 4 years ago by zraffer
  5

• Grammar failing with 0.15.3

  #8 opened 5 years ago by brupelo
  2

• Unicode symbols breaking the scanner

  #10 opened 5 years ago by banacorn
  1

• All highlight seems broken

  #9 opened 5 years ago by zraffer
  7

• Implicit narrowing conversion might create trouble

  #2 opened 6 years ago by typesanitizer
  8

• Highlight Set₀ Set₁ ... Setω

  #7 opened 6 years ago by banacorn
  0

• Travis CI

  #1 opened 6 years ago by banacorn
  1